Stephen N. Freund Curriculum Vitae September 12, 2017 Department of Computer Science Williams College Williamstown, MA 01267, USA

Source URL: www.cs.williams.edu

• Computing
• Software engineering
• Programming language theory
• Programming languages
• Programming Language Design and Implementation
• SIGPLAN
• P
• Association for Computing Machinery
• Symposium on Principles of Programming Languages
• XPL
• ACM Transactions on Programming Languages and Systems
• Ada

Programming Languages in a Liberal Arts Education Kim Bruce Stephen N. Freund Computer Science Department

Source URL: dept.cs.williams.edu

Stephen N. Freund Curriculum Vitae September 12, 2017 Department of Computer Science Williams College Williamstown, MA 01267, USA

Source URL: dept.cs.williams.edu

Science of Computer Programming–165 www.elsevier.com/locate/scico Type inference against races Cormac Flanagan a,∗ , Stephen N. Freund b a Computer Science Department, University of California at Santa

Source URL: dept.cs.williams.edu

Hybrid Types, Invariants, and Refinements For Imperative Objects Cormac Flanagan Stephen N. Freund

Source URL: dept.cs.williams.edu

Checking Concise Specifications for Multithreaded Software Stephen N. Freund1 and Shaz Qadeer2 1 Department of Computer Science, Williams College, Williamstown, MA

Source URL: www.cs.williams.edu

Thread-Modular Verification For Shared-Memory Programs1 Cormac Flanagan, Stephen N. Freund, and Shaz Qadeer Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CAAbstract. Ensuring the reliability of mult

Source URL: dept.cs.williams.edu

Checking Concise Specifications for Multithreaded Software Stephen N. Freund1 and Shaz Qadeer2 1 Department of Computer Science, Williams College, Williamstown, MA

Source URL: dept.cs.williams.edu

Theoretical Computer Science – 183 www.elsevier.com/locate/tcs Modular verification of multithreaded programs Cormac Flanagana,∗,1 , Stephen N. Freundb,1 , Shaz Qadeerc , Sanjit A. Seshiad,2

Source URL: dept.cs.williams.edu

Stephen N. Freund Curriculum Vitae July 19, 2014 Department of Computer Science Williams College Williamstown, MA 01267, USA

Source URL: cs.williams.edu