Cormac Flanagan

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 25

Top Venues

CoRR

PLDI

DLS

Proc. ACM Program. Lang.

Publications

Cormac Flanagan, Stephen N. Freund
Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version). CoRR (2024)
Maximilian Algehed, Cormac Flanagan
Multi-Execution Lattices Fast and Slow. CoRR (2021)
Maximilian Algehed, Cormac Flanagan
Transparent IFC Enforcement: Possibility and (In)Efficiency Results. CSF (2020)
Maximilian Algehed, Cormac Flanagan
Transparent IFC Enforcement: Possibility and (In)Efficiency Results. CoRR (2020)
Cormac Flanagan, Stephen N. Freund
The anchor verifier for blocking and non-blocking concurrent software. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Maximilian Algehed, Alejandro Russo, Cormac Flanagan
Optimising Faceted Secure Multi-Execution. CSF (2019)
Christopher Schuster, Cormac Flanagan
IDVE: an integrated development and verification environment for JavaScript. Programming (2019)
Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, Keith Winstein
Secure serverless computing using dynamic information flow control. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
James R. Wilcox, Cormac Flanagan, Stephen N. Freund
VerifiedFT: a verified, high-performance precise dynamic race detector. PPOPP (2018)
Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, Keith Winstein
Secure Serverless Computing Using Dynamic Information Flow Control. CoRR (2018)
Christopher Schuster, Sohum Banerjea, Cormac Flanagan
ESVERIFY: Verifying Dynamically-Typed Higher-Order Functional Programs by SMT Solving. IFL (2018)
Thomas Schmitz, Maximilian Algehed, Cormac Flanagan, Alejandro Russo
Faceted Secure Multi Execution. CCS (2018)
Minh Ngo, Nataliia Bielova, Cormac Flanagan, Tamara Rezk, Alejandro Russo, Thomas Schmitz
A Better Facet of Dynamic Information Flow Control. WWW (Companion Volume) (2018)
Tejas Saoji, Thomas H. Austin, Cormac Flanagan
Using Precise Taint Tracking for Auto-sanitization. PLAS@CCS (2017)
Dustin Rhodes, Cormac Flanagan, Stephen N. Freund
Correctness of Partial Escape Analysis for Multithreading Optimization. FTfJP@ECOOP (2017)
Thomas H. Austin, Thomas Schmitz, Cormac Flanagan
Multiple Facets for Dynamic Information Flow with Exceptions. ACM Trans. Program. Lang. Syst. 39 (3) (2017)
Dustin Rhodes, Cormac Flanagan, Stephen N. Freund
BigFoot: static check placement for dynamic race detection. PLDI (2017)
Thomas Schmitz, Dustin Rhodes, Thomas H. Austin, Kenneth Knowles, Cormac Flanagan
Faceted Dynamic Information Flow via Control and Data Monads. POST (2016)
Christopher Schuster, Cormac Flanagan
Reactive programming with reactive variables. MODULARITY (Companion) (2016)
Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong
Precise, dynamic information flow for database-backed applications. PLDI (2016)
Christopher Schuster, Tim Disney, Cormac Flanagan
Macrofication: Refactoring by Reverse Macro Expansion. ESOP (2016)
Tim Disney, Cormac Flanagan
Game Semantics for Type Soundness. LICS (2015)
Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong
End-To-End Policy-Agnostic Security for Database-Backed Applications. CoRR (2015)
Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan
Cooperative types for controlling thread interference in Java. Sci. Comput. Program. 112 (2015)
James R. Wilcox, Parker Finch, Cormac Flanagan, Stephen N. Freund
Array Shadow State Compression for Precise Dynamic Race Detection (T). ASE (2015)
Dustin Rhodes, Tim Disney, Cormac Flanagan
Dynamic detection of object capability violations through model checking. DLS (2014)
Tim Disney, Nathan Faubion, David Herman, Cormac Flanagan
Sweeten your JavaScript: hygienic macros for ES5. DLS (2014)
Cormac Flanagan, Barbara König
Developments in automated verification techniques. Int. J. Softw. Tools Technol. Transf. 16 (2) (2014)
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
Practices of PLDI. ACM SIGPLAN Notices 49 (4S) (2014)
Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata
PLDI 2002: Extended static checking for Java. ACM SIGPLAN Notices 48 (4S) (2013)
Thomas H. Austin, Jean Yang, Cormac Flanagan, Armando Solar-Lezama
Faceted execution of policy-agnostic programs. PLAS (2013)
Cormac Flanagan, Stephen N. Freund
RedCard: Redundant Check Elimination for Dynamic Race Detectors. ECOOP (2013)
Thomas H. Austin, Cormac Flanagan, Martín Abadi
A Functional View of Imperative Information Flow. APLAS (2012)
Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan
Cooperative types for controlling thread interference in Java. ISSTA (2012)
Aaron Tomb, Cormac Flanagan
Detecting inconsistencies via universal reachability analysis. ISSTA (2012)
Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski, Jaeheon Yi, Cormac Flanagan
Sound predictive race detection in polynomial time. POPL (2012)
Thomas H. Austin, Cormac Flanagan
Multiple facets for dynamic information flow. POPL (2012)
Thomas H. Austin, Tim Disney, Cormac Flanagan
Virtual values for language extension. OOPSLA (2011)
Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan
Cooperative Concurrency for a Multicore World - (Extended Abstract). RV (2011)
Tim Disney, Cormac Flanagan, Jay McCarthy
Temporal higher-order contracts. ICFP (2011)
Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan
Cooperative reasoning for preemptive execution. PPOPP (2011)
Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen
Correct blame for contracts: no more scapegoating. POPL (2011)
Thomas H. Austin, Cormac Flanagan
Permissive dynamic information flow analysis. PLAS (2010)
Cormac Flanagan, Stephen N. Freund
The RoadRunner dynamic analysis framework for concurrent programs. PASTE (2010)
David Herman, Aaron Tomb, Cormac Flanagan
Space-efficient gradual typing. High. Order Symb. Comput. 23 (2) (2010)
Kenneth Knowles, Cormac Flanagan
Hybrid type checking. ACM Trans. Program. Lang. Syst. 32 (2) (2010)
Jaeheon Yi, Cormac Flanagan
Effects for cooperable and serializable threads. TLDI (2010)
Cormac Flanagan, Stephen N. Freund
FastTrack: efficient and precise dynamic race detection. Commun. ACM 53 (11) (2010)
Cormac Flanagan, Stephen N. Freund
Adversarial memory for detecting destructive races. PLDI (2010)
Thomas H. Austin, Cormac Flanagan
Efficient purely-dynamic information flow analysis. PLAS (2009)
Cormac Flanagan, Susanne Graf, Madhusan Parthasarathy, Shaz Qadeer
09361 Abstracts Collection - Design and Validation of Concurrent Systems. Design and Validation of Concurrent Systems (2009)
Cormac Flanagan, Stephen N. Freund
FastTrack: efficient and precise dynamic race detection. PLDI (2009)
Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan
SideTrack: generalizing dynamic atomicity analysis. PADTAD (2009)
Kenneth Knowles, Cormac Flanagan
Compositional reasoning and decidable checking for dependent contract types. PLPV (2009)
Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs. ESOP (2009)
Cormac Flanagan, Stephen N. Freund, Jaeheon Yi
Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. PLDI (2008)
Cormac Flanagan, Stephen N. Freund
Atomizer: A dynamic atomicity checker for multithreaded programs. Sci. Comput. Program. 71 (2) (2008)
Cormac Flanagan, Stephen N. Freund, Marina Lifshin, Shaz Qadeer
Types for atomicity: Static checking and inference for Java. ACM Trans. Program. Lang. Syst. 30 (4) (2008)
David Herman, Aaron Tomb, Cormac Flanagan
Space-Efficient Gradual Typing. Trends in Functional Programming (2007)
Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv
Cartesian Partial-Order Reduction. SPIN (2007)
Kenneth Knowles, Cormac Flanagan
Type Reconstruction for General Refinement Types. ESOP (2007)
Cormac Flanagan, Stephen N. Freund
Type inference against races. Sci. Comput. Program. 64 (1) (2007)
Jessica Gronski, Cormac Flanagan
Unifying Hybrid Types and Contracts. Trends in Functional Programming (2007)
David Herman, Cormac Flanagan
Status report: specifying javascript with ML. ML (2007)
Cormac Flanagan, Stephen N. Freund
Dynamic Architecture Extraction. FATES/RV (2006)
Martín Abadi, Cormac Flanagan, Stephen N. Freund
Types for safe locking: Static race detection for Java. ACM Trans. Program. Lang. Syst. 28 (2) (2006)
Cormac Flanagan
Hybrid type checking. POPL (2006)
Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby
Extending JML for Modular Specification and Verification of Multi-threaded Programs. ECOOP (2005)
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer
Exploiting Purity for Atomicity. IEEE Trans. Software Eng. 31 (4) (2005)
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer, Sanjit A. Seshia
Modular verification of multithreaded programs. Theor. Comput. Sci. 338 (1-3) (2005)
Cormac Flanagan, Patrice Godefroid
Dynamic partial-order reduction for model checking software. POPL (2005)
Cormac Flanagan, Stephen N. Freund, Marina Lifshin
Type inference for atomicity. TLDI (2005)
Aaron Tomb, Cormac Flanagan
Automatic type inference via partial evaluation. PPDP (2005)
Cormac Flanagan, Stephen N. Freund
Type Inference Against Races. SAS (2004)
Cormac Flanagan, Stephen N. Freund
Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary). IPDPS (2004)
Cormac Flanagan
Automatic software model checking via constraint logic. Sci. Comput. Program. 50 (1-3) (2004)
Cormac Flanagan
Verifying Commit-Atomicity Using Model-Checking. SPIN (2004)
Cormac Flanagan, Stephen N. Freund
Atomizer: a dynamic atomicity checker for multithreaded programs. POPL (2004)
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer
Exploiting purity for atomicity. ISSTA (2004)
Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe
Theorem Proving Using Lazy Proof Explication. CAV (2003)
Cormac Flanagan, Shaz Qadeer
Transactions for Software Model Checking. Electron. Notes Theor. Comput. Sci. 89 (3) (2003)
Cormac Flanagan, Shaz Qadeer
Thread-Modular Model Checking. SPIN (2003)
Cormac Flanagan
Automatic Software Model Checking Using CLP. ESOP (2003)
Cormac Flanagan, Shaz Qadeer
A type and effect system for atomicity. PLDI (2003)
Cormac Flanagan, Shaz Qadeer
Types for atomicity. TLDI (2003)
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer
Thread-Modular Verification for Shared-Memory Programs. ESOP (2002)
Cormac Flanagan, Shaz Qadeer
Predicate abstraction for software verification. POPL (2002)
Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen
DrScheme: a programming environment for Scheme. J. Funct. Program. 12 (2) (2002)
Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia
A Modular Checker for Multithreaded Programs. CAV (2002)
Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata
Extended Static Checking for Java. PLDI (2002)
Cormac Flanagan, James B. Saxe
Avoiding exponential explosion: generating compact verification conditions. POPL (2001)
Cormac Flanagan, Stephen N. Freund
Detecting race conditions in large programs. PASTE (2001)
Cormac Flanagan, Rajeev Joshi, K. Rustan M. Leino
Annotation inference for modular checkers. Inf. Process. Lett. 77 (2-4) (2001)
Cormac Flanagan, K. Rustan M. Leino
Houdini, an Annotation Assistant for ESC/Java. FME (2001)
Cormac Flanagan, Stephen N. Freund
Type-based race detection for Java. PLDI (2000)
Cormac Flanagan, Martín Abadi
Types for Safe Locking. ESOP (1999)
Cormac Flanagan, Matthias Felleisen
Componential Set-Based Analysis. ACM Trans. Program. Lang. Syst. 21 (2) (1999)
Cormac Flanagan, Matthias Felleisen
The Semantics of Future and an Application. J. Funct. Program. 9 (1) (1999)
Cormac Flanagan, Martín Abadi
Object Types against Races. CONCUR (1999)
Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
DrScheme: A Pedagogic Programming Environment for Scheme. PLILP (1997)

Cormac Flanagan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Cormac Flanagan