The Essence of Compiling with Continuations. - Cormac Flanagan; Amr Sabry; Bruce F. Duba; Matthias Felleisen (PLDI, 1993)

The essence of compiling with continuations (with retrospective) - Cormac Flanagan; Amr Sabry; Bruce F. Duba; Matthias Felleisen (Best of PLDI, 1993)

The Semantics of Future and Its Use in Program Optimizations. - Cormac Flanagan; Matthias Felleisen (POPL, 1995)

pHluid: The Design of a Parallel Functional Language Implementation on Workstations. - Cormac Flanagan; Rishiyur S. Nikhil (ICFP, 1996)

Static Debugging: Browsing the Web of Program Invariants. - Cormac Flanagan; Matthew Flatt; Shriram Krishnamurthi; Stephanie Weirich; Matthias Felleisen (PLDI, 1996)

DrScheme: A Pedagogic Programming Environment for Scheme. - Robert Bruce Findler; Cormac Flanagan; Matthew Flatt; Shriram Krishnamurthi; Matthias Felleisen (PLILP, 1997)

Object Types against Races. - Cormac Flanagan; Martín Abadi (CONCUR, 1999)

Types for Safe Locking. - Cormac Flanagan; Martín Abadi (ESOP, 1999)

The Semantics of Future and an Application. - Cormac Flanagan; Matthias Felleisen (J. Funct. Program., 1999)

Componential Set-Based Analysis. - Cormac Flanagan; Matthias Felleisen (ACM Trans. Program. Lang. Syst., 1999)

Type-based race detection for Java. - Cormac Flanagan; Stephen N. Freund (PLDI, 2000)

Houdini, an Annotation Assistant for ESC/Java. - Cormac Flanagan; K. Rustan M. Leino (FME, 2001)

Detecting race conditions in large programs. - Cormac Flanagan; Stephen N. Freund (PASTE, 2001)

Avoiding exponential explosion: generating compact verification conditions. - Cormac Flanagan; James B. Saxe (POPL, 2001)

Annotation inference for modular checkers. - Cormac Flanagan; Rajeev Joshi; K. Rustan M. Leino (Inf. Process. Lett., 2001)

A Modular Checker for Multithreaded Programs. - Cormac Flanagan; Shaz Qadeer; Sanjit A. Seshia (CAV, 2002)

Thread-Modular Verification for Shared-Memory Programs. - Cormac Flanagan; Stephen N. Freund; Shaz Qadeer (ESOP, 2002)

Extended Static Checking for Java. - Cormac Flanagan; K. Rustan M. Leino; Mark Lillibridge; Greg Nelson; James B. Saxe; Raymie Stata (PLDI, 2002)

Predicate abstraction for software verification. - Cormac Flanagan; Shaz Qadeer (POPL, 2002)

DrScheme: a programming environment for Scheme. - Robert Bruce Findler; John Clements; Cormac Flanagan; Matthew Flatt; Shriram Krishnamurthi; Paul Steckler; Matthias Felleisen (J. Funct. Program., 2002)

Theorem Proving Using Lazy Proof Explication. - Cormac Flanagan; Rajeev Joshi; Xinming Ou; James B. Saxe (CAV, 2003)

Automatic Software Model Checking Using CLP. - Cormac Flanagan (ESOP, 2003)

A type and effect system for atomicity. - Cormac Flanagan; Shaz Qadeer (PLDI, 2003)

Thread-Modular Model Checking. - Cormac Flanagan; Shaz Qadeer (SPIN, 2003)

Types for atomicity. - Cormac Flanagan; Shaz Qadeer (TLDI, 2003)

Transactions for Software Model Checking. - Cormac Flanagan; Shaz Qadeer (SoftMC@CAV, 2003)

Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary). - Cormac Flanagan; Stephen N. Freund (IPDPS, 2004)

Verifying Commit-Atomicity Using Model-Checking. - Cormac Flanagan (SPIN, 2004)

Automatic software model checking via constraint logic. - Cormac Flanagan (Sci. Comput. Program., 2004)

Extending JML for Modular Specification and Verification of Multi-threaded Programs. - Edwin Rodríguez; Matthew B. Dwyer; Cormac Flanagan; John Hatcliff; Gary T. Leavens; Robby (ECOOP, 2005)

Dynamic partial-order reduction for model checking software. - Cormac Flanagan; Patrice Godefroid (POPL, 2005)

Automatic type inference via partial evaluation. - Aaron Tomb; Cormac Flanagan (PPDP, 2005)

Type inference for atomicity. - Cormac Flanagan; Stephen N. Freund; Marina Lifshin (TLDI, 2005)

Modular verification of multithreaded programs. - Cormac Flanagan; Stephen N. Freund; Shaz Qadeer; Sanjit A. Seshia (Theor. Comput. Sci., 2005)

Exploiting Purity for Atomicity. - Cormac Flanagan; Stephen N. Freund; Shaz Qadeer (IEEE Trans. Software Eng., 2005)

Dynamic Architecture Extraction. - Cormac Flanagan; Stephen N. Freund (FATES/RV, 2006)

Hybrid type checking. - Cormac Flanagan (POPL, 2006)

Types for safe locking: Static race detection for Java. - Martín Abadi; Cormac Flanagan; Stephen N. Freund (ACM Trans. Program. Lang. Syst., 2006)

Type Reconstruction for General Refinement Types. - Kenneth L. Knowles; Cormac Flanagan (ESOP, 2007)

Status report: specifying javascript with ML. - David Herman; Cormac Flanagan (ML, 2007)

Unifying Hybrid Types and Contracts. - Jessica Gronski; Cormac Flanagan (Trends in Functional Programming, 2007)

Cartesian Partial-Order Reduction. - Guy Gueta; Cormac Flanagan; Eran Yahav; Mooly Sagiv (SPIN, 2007)

Type inference against races. - Cormac Flanagan; Stephen N. Freund (Sci. Comput. Program., 2007)

Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. - Cormac Flanagan; Stephen N. Freund; Jaeheon Yi (PLDI, 2008)

Atomizer: A dynamic atomicity checker for multithreaded programs. - Cormac Flanagan; Stephen N. Freund (Sci. Comput. Program., 2008)

Types for atomicity: Static checking and inference for Java. - Cormac Flanagan; Stephen N. Freund; Marina Lifshin; Shaz Qadeer (ACM Trans. Program. Lang. Syst., 2008)

09361 Abstracts Collection - Design and Validation of Concurrent Systems. - Cormac Flanagan; Susanne Graf; Madhusan Parthasarathy; Shaz Qadeer (Design and Validation of Concurrent Systems, 2009)

SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs. - Caitlin Sadowski; Stephen N. Freund; Cormac Flanagan (ESOP, 2009)

SideTrack: generalizing dynamic atomicity analysis. - Jaeheon Yi; Caitlin Sadowski; Cormac Flanagan (PADTAD, 2009)

Efficient purely-dynamic information flow analysis. - Thomas H. Austin; Cormac Flanagan (PLAS, 2009)

Compositional reasoning and decidable checking for dependent contract types. - Kenneth L. Knowles; Cormac Flanagan (PLPV, 2009)

The RoadRunner dynamic analysis framework for concurrent programs. - Cormac Flanagan; Stephen N. Freund (PASTE, 2010)

Permissive dynamic information flow analysis. - Thomas H. Austin; Cormac Flanagan (PLAS, 2010)

Adversarial memory for detecting destructive races. - Cormac Flanagan; Stephen N. Freund (PLDI, 2010)

Effects for cooperable and serializable threads. - Jaeheon Yi; Cormac Flanagan (TLDI, 2010)

FastTrack: efficient and precise dynamic race detection. - Cormac Flanagan; Stephen N. Freund (Commun. ACM, 2010)

Space-efficient gradual typing. - David Herman; Aaron Tomb; Cormac Flanagan (High. Order Symb. Comput., 2010)

Hybrid type checking. - Kenneth L. Knowles; Cormac Flanagan (ACM Trans. Program. Lang. Syst., 2010)

Temporal higher-order contracts. - Tim Disney; Cormac Flanagan; Jay McCarthy (ICFP, 2011)

Virtual values for language extension. - Thomas H. Austin; Tim Disney; Cormac Flanagan (OOPSLA, 2011)

Correct blame for contracts: no more scapegoating. - Christos Dimoulas; Robert Bruce Findler; Cormac Flanagan; Matthias Felleisen (POPL, 2011)

Cooperative reasoning for preemptive execution. - Jaeheon Yi; Caitlin Sadowski; Cormac Flanagan (PPoPP, 2011)

Cooperative Concurrency for a Multicore World - (Extended Abstract). - Jaeheon Yi; Caitlin Sadowski; Stephen N. Freund; Cormac Flanagan (RV, 2011)

Futures. - Cormac Flanagan (Encyclopedia of Parallel Computing, 2011)

A Functional View of Imperative Information Flow. - Thomas H. Austin; Cormac Flanagan; Martín Abadi (APLAS, 2012)

Detecting inconsistencies via universal reachability analysis. - Aaron Tomb; Cormac Flanagan (ISSTA, 2012)

Multiple facets for dynamic information flow. - Thomas H. Austin; Cormac Flanagan (POPL, 2012)

Sound predictive race detection in polynomial time. - Yannis Smaragdakis; Jacob Evans; Caitlin Sadowski; Jaeheon Yi; Cormac Flanagan (POPL, 2012)

RedCard: Redundant Check Elimination for Dynamic Race Detectors. - Cormac Flanagan; Stephen N. Freund (ECOOP, 2013)

Faceted execution of policy-agnostic programs. - Thomas H. Austin; Jean Yang 001; Cormac Flanagan; Armando Solar-Lezama (PLAS, 2013)

PLDI 2002: Extended static checking for Java. - Cormac Flanagan; K. Rustan M. Leino; Mark Lillibridge; Greg Nelson; James B. Saxe; Raymie Stata (ACM SIGPLAN Notices, 2013)

Sweeten your JavaScript: hygienic macros for ES5. - Tim Disney; Nathan Faubion; David Herman; Cormac Flanagan (DLS, 2014)

Dynamic detection of object capability violations through model checking. - Dustin Rhodes; Tim Disney; Cormac Flanagan (DLS, 2014)

Practices of PLDI. - Hans-Juergen Boehm; Jack W. Davidson; Kathleen Fisher; Cormac Flanagan; Jeremy Gibbons; Mary W. Hall; Graham Hutton; David A. Padua; Frank Tip; Jan Vitek; Philip Wadler (ACM SIGPLAN Notices, 2014)

Developments in automated verification techniques. - Cormac Flanagan; Barbara König 001 (Int. J. Softw. Tools Technol. Transf., 2014)

Array Shadow State Compression for Precise Dynamic Race Detection (T). - James R. Wilcox; Parker Finch; Cormac Flanagan; Stephen N. Freund (ASE, 2015)

Game Semantics for Type Soundness. - Tim Disney; Cormac Flanagan (LICS, 2015)

End-To-End Policy-Agnostic Security for Database-Backed Applications. - Jean Yang 001; Travis Hance; Thomas H. Austin; Armando Solar-Lezama; Cormac Flanagan; Stephen Chong (CoRR, 2015)

Cooperative types for controlling thread interference in Java. - Jaeheon Yi; Tim Disney; Stephen N. Freund; Cormac Flanagan (Sci. Comput. Program., 2015)

Reactive programming with reactive variables. - Christopher Schuster; Cormac Flanagan (MODULARITY (Companion), 2016)

Macrofication: Refactoring by Reverse Macro Expansion. - Christopher Schuster; Tim Disney; Cormac Flanagan (ESOP, 2016)

Precise, dynamic information flow for database-backed applications. - Jean Yang 001; Travis Hance; Thomas H. Austin; Armando Solar-Lezama; Cormac Flanagan; Stephen Chong (PLDI, 2016)

Faceted Dynamic Information Flow via Control and Data Monads. - Thomas Schmitz 001; Dustin Rhodes; Thomas H. Austin; Kenneth L. Knowles; Cormac Flanagan (POST, 2016)

Using Precise Taint Tracking for Auto-sanitization. - Tejas Saoji; Thomas H. Austin; Cormac Flanagan (PLAS@CCS, 2017)

Correctness of Partial Escape Analysis for Multithreading Optimization. - Dustin Rhodes; Cormac Flanagan; Stephen N. Freund (FTfJP@ECOOP, 2017)

BigFoot: static check placement for dynamic race detection. - Dustin Rhodes; Cormac Flanagan; Stephen N. Freund (PLDI, 2017)

Multiple Facets for Dynamic Information Flow with Exceptions. - Thomas H. Austin; Thomas Schmitz 001; Cormac Flanagan (ACM Trans. Program. Lang. Syst., 2017)

Faceted Secure Multi Execution. - Thomas Schmitz 001; Maximilian Algehed; Cormac Flanagan; Alejandro Russo (CCS, 2018)

ESVERIFY: Verifying Dynamically-Typed Higher-Order Functional Programs by SMT Solving. - Christopher Schuster; Sohum Banerjea; Cormac Flanagan (IFL, 2018)

VerifiedFT: a verified, high-performance precise dynamic race detector. - James R. Wilcox; Cormac Flanagan; Stephen N. Freund (PPoPP, 2018)

A Better Facet of Dynamic Information Flow Control. - Minh Ngo; Nataliia Bielova; Cormac Flanagan; Tamara Rezk; Alejandro Russo; Thomas Schmitz 001 (WWW (Companion Volume), 2018)

Secure serverless computing using dynamic information flow control. - Kalev Alpernas; Cormac Flanagan; Sadjad Fouladi; Leonid Ryzhyk; Mooly Sagiv; Thomas Schmitz 001; Keith Winstein (Proc. ACM Program. Lang., 2018)

Optimising Faceted Secure Multi-Execution. - Maximilian Algehed; Alejandro Russo; Cormac Flanagan (CSF, 2019)

IDVE: an integrated development and verification environment for JavaScript. - Christopher Schuster; Cormac Flanagan (Programming, 2019)

Transparent IFC Enforcement: Possibility and (In)Efficiency Results. - Maximilian Algehed; Cormac Flanagan (CSF, 2020)

The anchor verifier for blocking and non-blocking concurrent software. - Cormac Flanagan; Stephen N. Freund (Proc. ACM Program. Lang., 2020)

Multi-Execution Lattices Fast and Slow. - Maximilian Algehed; Cormac Flanagan (CoRR, 2021)

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning. - Cormac Flanagan; Stephen N. Freund (ECOOP, 2024)

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version). - Cormac Flanagan; Stephen N. Freund (CoRR, 2024)