In Journals:

• Types for Atomicity: Static Checking and Inference for Java
  Cormac Flanagan, Stephen N. Freund, Marina Lifshin, and Shaz Qadeer
  ACM Transactions on Programming Languages and Systems, 2008.

• Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs
  Cormac Flanagan and Stephen N. Freund
  Science of Computer Programming, 2008.

• Type Inference Against Races
  Cormac Flanagan and Stephen N. Freund
  Science of Computer Programming, 2007.

• Types for Safe Locking: Static Race Detection for Java
  Martin Abadi, Cormac Flanagan, and Stephen N. Freund
  ACM Transactions on Programming Languages and Systems, 2006.

• Exploiting Purity for Atomicity
  Cormac Flanagan, Stephen N. Freund, and Shaz Qadeer
  IEEE Transactions on Software Engineering, 2005.
  

• Modular Verification of Multithreaded Programs
  Cormac Flanagan, Stephen N. Freund, Shaz Qadeer and Sanjit A. Seshia
  Theoretical Computer Science, 2005.
  

• Checking Concise Specifications For Multithreaded Software
  Stephen N. Freund and Shaz Qadeer
  Journal of Object Technology, 2004.
  

• A Type System for the Java Bytecode Language and Verifier
  Stephen N. Freund and John C. Mitchell
  Journal of Automated Reasoning, 2003.
  

• A Type System for Object Initialization in the Java Bytecode Language
  Stephen N. Freund and John C. Mitchell
  ACM Transactions on Programming Languages and Systems, 1999.
  

In Refereed Proceedings:

• Velodrome: A Sound and Complete Dynamic Analysis for Atomicity
  Cormac Flanagan, Stephen N. Freund, and Jaeheon Yi
  ACM Conference on Programming Language Design and Implementation, 2008.
  

• Dynamic Architecture Extraction
  Cormac Flanagan and Stephen N. Freund
  Formal Approaches to Testing and Runtime Verification, 2006.
  

• Type Inference For Atomicity
  Cormac Flanagan, Stephen N. Freund, and Marina Lifshin (Williams `05)
  ACM Workshop on Types in Language Design and Implementation, 2005.
  

• Type Inference Against Races
  Cormac Flanagan and Stephen N. Freund
  Static Analysis Symposium, 2004.
  

• Exploiting Purity for Atomicity
  Cormac Flanagan, Stephen N. Freund, and Shaz Qadeer
  ACM International Symposium on Software Testing and Analysis, 2004.
  (also see the journal article)

• Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs
  Cormac Flanagan and Stephen N. Freund
  ACM Symposium on Principles of Programming Languages, 2004.
  

• Run-Time Type Checking for Binary Programs
  Mike Burrows, Stephen N. Freund, and Janet Wiener
  International Conference on Compiler Construction, 2003.
  

• Thread-Modular Verification for Shared-Memory Programs
  Cormac Flanagan, Stephen N. Freund, and Shaz Qadeer
  European Symposium on Programming, 2002.
  (also see the journal article)

• Detecting Race Conditions in Large Programs
  Cormac Flanagan and Stephen N. Freund
  ACM Workshop on Program Analysis for Software Tools and Engineering, 2001.
  (also see the journal article)

• Type-Based Race Detection for Java
  Cormac Flanagan and Stephen N. Freund
  ACM Conference on Programming Language Design and Implementation, 2000.
  (also see the journal article)

• A Formal Framework for the Java Bytecode Language and Verifier
  Stephen N. Freund and John C. Mitchell
  ACM Conference on Object-Oriented Programming: Systems, Languages and Applications, 1999.
  

• A Type System for Object Initialization in the Java Bytecode Language
  Stephen N. Freund and John C. Mitchell
  ACM Conference on Object-Oriented Programming: Systems, Languages and Applications, 1998.
  (also see the journal article)

• Adding Type Parameterization to the Java Language
  Ole Agesen, Stephen N. Freund, and John C. Mitchell
  ACM Conference on Object-Oriented Programming: Systems, Languages and Applications, 1997.
  

• Thetis: An ANSI C Programming Environment Designed for Introductory Use
  Stephen N. Freund and Eric Roberts
  Twenty-seventh SIGCSE Technical Symposium on Computer Science Education, 1996.
  

In Refereed Workshops:

• Sage: Hybrid Checking for Flexible Specifications
  Jessica Gronski, Kenneth Knowles, Aaron Tomb, Stephen N. Freund, and Cormac Flanagan
  Workshop on Scheme and Functional Programming, 2006.
  (extended version)

• Hybrid Types, Invariants, and Refinements for Imperative Objects
  Cormac Flanagan, Stephen N. Freund, and Aaron Tomb
  Workshop on Foundations and Developments of Object-Oriented Languages, 2006.
  

• Automatic Synchronization Correction
  Cormac Flanagan and Stephen N. Freund
  Workshop on Synchronization and Concurrency in Object-Oriented Languages, 2005.
  

• Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary)
  Cormac Flanagan and Stephen N. Freund
  Workshop on Parallel and Distributed Systems: Testing and Debugging, 2004.
  

• Checking Concise Specifications for Multithreaded Software
  Stephen N. Freund and Shaz Qadeer
  Workshop on Formal Techniques for Java-like Programs, 2003.
  An extended version appears below as Williams College Technical Note 01-2002.
  

• Safe Asynchronous Exceptions For Python
  Stephen N. Freund and Mark P. Mitchell
  Second Lightweight Languages Workshop, 2002.
  

• Type-Based Race Detection for Java (summary)
  Cormac Flanagan and Stephen N. Freund
  LICS short topic presentation, 2000.
  

• The Costs and Benefits of Java Bytecode Subroutines
  Stephen N. Freund
  Formal Underpinnings of Java Workshop at OOPSLA, 1998.
  

• A Type System for Object Initialization in the Java Bytecode Language (summary)
  Stephen N. Freund and John C. Mitchell
  HOOTS II, 1998. Also presented at Workshop for Security and Languages, 1998.
  

Technical Reports:

• Modular Verification of Multithreaded Programs
  Cormac Flanagan, Stephen N. Freund, Shaz Qadeer, and Sanjit A. Seshia
  Williams College Technical Note 04-08, 2004.
  

• Type Inference Against Races (extended version)
  Cormac Flanagan and Stephen N. Freund
  Williams College Technical Note 04-06, 2004.
  

• Exploiting Purity for Atomicity (extended version)
  Cormac Flanagan, Stephen N. Freund, and Shaz Qadeer
  Williams College Technical Note 04-05, 2004.
  

• Partial Type And Effect Inference for Rcc/Java in NP-Complete
  Cormac Flanagan and Stephen N. Freund
  Williams College Technical Note 04-01, 2004.
  

• Checking Concise Specifications for Multithreaded Software (extended version)
  Stephen N. Freund and Shaz Qadeer
  Williams College Technical Note 01-2002, 2002.
  

• Safe Asynchronous Exceptions For Python
  Stephen N. Freund and Mark P. Mitchell
  Williams College Technical Note 02-2002, 2002. Presented at the Second Lightweight Languages Workshop, 2002.
  

• Thread-Modular Verification for Shared-Memory Programs
  Cormac Flanagan, Stephen N. Freund, and Shaz Qadeer
  SRC Technical Note 2001-003, 2001.
  

• A Type System for Java Bytecode Subroutines and Exceptions
  Stephen N. Freund and John C. Mitchell
  Stanford Computer Science Technical Note STAN-CS-TN-99-91, 1999.