| 2025 | UIST | Flowco: Mixed-Initiative Authoring of Reliable End-to-End Data Analyses via Dataflow Graphs and LLMs. | Stephen N. Freund, Brooke Simon, Emery D. Berger, Eunice Jun |
| 2024 | ECOOP | Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning. | Cormac Flanagan, Stephen N. Freund |
| 2018 | PPoPP | VerifiedFT: a verified, high-performance precise dynamic race detector. | James R. Wilcox, Cormac Flanagan, Stephen N. Freund |
| 2017 | ECOOP | Correctness of Partial Escape Analysis for Multithreading Optimization. | Dustin Rhodes, Cormac Flanagan, Stephen N. Freund |
| 2017 | PLDI | BigFoot: static check placement for dynamic race detection. | Dustin Rhodes, Cormac Flanagan, Stephen N. Freund |
| 2013 | ECOOP | RedCard: Redundant Check Elimination for Dynamic Race Detectors. | Cormac Flanagan, Stephen N. Freund |
| 2012 | ISSTA | Cooperative types for controlling thread interference in Java. | Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan |
| 2012 | RV | Dynamic Analyses for Data-Race Detection. | John Erickson, Stephen N. Freund, Madanlal Musuvathi |
| 2011 | RV | Cooperative Concurrency for a Multicore World - (Extended Abstract). | Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan |
| 2010 | PLDI | Adversarial memory for detecting destructive races. | Cormac Flanagan, Stephen N. Freund |
| 2009 | ESOP | SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs. | Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan |
| 2009 | PLDI | FastTrack: efficient and precise dynamic race detection. | Cormac Flanagan, Stephen N. Freund |
| 2008 | PLDI | Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. | Cormac Flanagan, Stephen N. Freund, Jaeheon Yi |
| 2004 | ISSTA | Exploiting purity for atomicity. | Cormac Flanagan, Stephen N. Freund, Shaz Qadeer |
| 2004 | POPL | Atomizer: a dynamic atomicity checker for multithreaded programs. | Cormac Flanagan, Stephen N. Freund |
| 2004 | SAS | Type Inference Against Races. | Cormac Flanagan, Stephen N. Freund |
| 2003 | CC | Run-Time Type Checking for Binary Programs. | Michael Burrows, Stephen N. Freund, Janet L. Wiener |
| 2002 | ESOP | Thread-Modular Verification for Shared-Memory Programs. | Cormac Flanagan, Stephen N. Freund, Shaz Qadeer |
| 2000 | PLDI | Type-based race detection for Java. | Cormac Flanagan, Stephen N. Freund |
| 1999 | OOPSLA | A Formal Framework for the Java Bytecode Language and Verifier. | Stephen N. Freund, John C. Mitchell |
| 1998 | OOPSLA | A Type System for Object Initialization in the Java Bytecode Language. | Stephen N. Freund, John C. Mitchell |
| 1997 | OOPSLA | Adding Type Parameterization to the Java Language. | Ole Agesen, Stephen N. Freund, John C. Mitchell |
| 1996 | SIGCSE | Thetis: an ANSI C programming environment designed for introductory use. | Stephen N. Freund, Eric S. Roberts |