| 2024 | ECOOP | Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning. | Cormac Flanagan, Stephen N. Freund |
| 2018 | CCS | Faceted Secure Multi Execution. | Thomas Schmitz, Maximilian Algehed, Cormac Flanagan, Alejandro Russo |
| 2018 | PPoPP | VerifiedFT: a verified, high-performance precise dynamic race detector. | James R. Wilcox, Cormac Flanagan, Stephen N. Freund |
| 2018 | WWW | A Better Facet of Dynamic Information Flow Control. | Minh Ngo, Nataliia Bielova, Cormac Flanagan, Tamara Rezk, Alejandro Russo, Thomas Schmitz |
| 2017 | CCS | Using Precise Taint Tracking for Auto-sanitization. | Tejas Saoji, Thomas H. Austin, Cormac Flanagan |
| 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 |
| 2016 | ESOP | Macrofication: Refactoring by Reverse Macro Expansion. | Christopher Schuster, Tim Disney, Cormac Flanagan |
| 2016 | PLDI | Precise, dynamic information flow for database-backed applications. | Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong |
| 2015 | LICS | Game Semantics for Type Soundness. | Tim Disney, Cormac Flanagan |
| 2014 | DLS | Sweeten your JavaScript: hygienic macros for ES5. | Tim Disney, Nathan Faubion, David Herman, Cormac Flanagan |
| 2014 | DLS | Dynamic detection of object capability violations through model checking. | Dustin Rhodes, Tim Disney, Cormac Flanagan |
| 2013 | ECOOP | RedCard: Redundant Check Elimination for Dynamic Race Detectors. | Cormac Flanagan, Stephen N. Freund |
| 2013 | PLDI | Faceted execution of policy-agnostic programs. | Thomas H. Austin, Jean Yang, Cormac Flanagan, Armando Solar-Lezama |
| 2012 | APLAS | A Functional View of Imperative Information Flow. | Thomas H. Austin, Cormac Flanagan, Martn Abadi |
| 2012 | ISSTA | Detecting inconsistencies via universal reachability analysis. | Aaron Tomb, Cormac Flanagan |
| 2012 | ISSTA | Cooperative types for controlling thread interference in Java. | Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan |
| 2012 | POPL | Multiple facets for dynamic information flow. | Thomas H. Austin, Cormac Flanagan |
| 2012 | POPL | Sound predictive race detection in polynomial time. | Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski, Jaeheon Yi, Cormac Flanagan |
| 2011 | ICFP | Temporal higher-order contracts. | Tim Disney, Cormac Flanagan, Jay McCarthy |
| 2011 | OOPSLA | Virtual values for language extension. | Thomas H. Austin, Tim Disney, Cormac Flanagan |
| 2011 | POPL | Correct blame for contracts: no more scapegoating. | Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen |
| 2011 | PPoPP | Cooperative reasoning for preemptive execution. | Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan |
| 2011 | RV | Cooperative Concurrency for a Multicore World - (Extended Abstract). | Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan |
| 2010 | PLDI | Permissive dynamic information flow analysis. | Thomas H. Austin, 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 | ISSTA | SideTrack: generalizing dynamic atomicity analysis. | Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan |
| 2009 | PLDI | Efficient purely-dynamic information flow analysis. | Thomas H. Austin, 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 |
| 2007 | ESOP | Type Reconstruction for General Refinement Types. | Kenneth L. Knowles, Cormac Flanagan |
| 2006 | POPL | Hybrid type checking. | Cormac Flanagan |
| 2005 | ECOOP | Extending JML for Modular Specification and Verification of Multi-threaded Programs. | Edwin Rodrguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby |
| 2005 | POPL | Dynamic partial-order reduction for model checking software. | Cormac Flanagan, Patrice Godefroid |
| 2005 | PPDP | Automatic type inference via partial evaluation. | Aaron Tomb, Cormac Flanagan |
| 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 | CAV | Theorem Proving Using Lazy Proof Explication. | Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe |
| 2003 | ESOP | Automatic Software Model Checking Using CLP. | Cormac Flanagan |
| 2003 | PLDI | A type and effect system for atomicity. | Cormac Flanagan, Shaz Qadeer |
| 2002 | CAV | A Modular Checker for Multithreaded Programs. | Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia |
| 2002 | ESOP | Thread-Modular Verification for Shared-Memory Programs. | Cormac Flanagan, Stephen N. Freund, Shaz Qadeer |
| 2002 | PLDI | Extended Static Checking for Java. | Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata |
| 2002 | POPL | Predicate abstraction for software verification. | Cormac Flanagan, Shaz Qadeer |
| 2001 | FM | Houdini, an Annotation Assistant for ESC/Java. | Cormac Flanagan, K. Rustan M. Leino |
| 2001 | POPL | Avoiding exponential explosion: generating compact verification conditions. | Cormac Flanagan, James B. Saxe |
| 2000 | PLDI | Type-based race detection for Java. | Cormac Flanagan, Stephen N. Freund |
| 1999 | CONCUR | Object Types against Races. | Cormac Flanagan, Martn Abadi |
| 1999 | ESOP | Types for Safe Locking. | Cormac Flanagan, Martn Abadi |
| 1997 | PLDI | Componential Set-Based Analysis. | Cormac Flanagan, Matthias Felleisen |
| 1996 | ICFP | pHluid: The Design of a Parallel Functional Language Implementation on Workstations. | Cormac Flanagan, Rishiyur S. Nikhil |
| 1996 | PLDI | Static Debugging: Browsing the Web of Program Invariants. | Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen |
| 1995 | POPL | The Semantics of Future and Its Use in Program Optimizations. | Cormac Flanagan, Matthias Felleisen |
| 1993 | PLDI | The Essence of Compiling with Continuations. | Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen |
| 1993 | PLDI | The essence of compiling with continuations (with retrospective) | Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen |