Cormac Flanagan

According to our database, Cormac Flanagan authored at least 99 papers between 1993 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version).

Cormac Flanagan, Stephen N. Freund

CoRR, 2024

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning.

Cormac Flanagan, Stephen N. Freund

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2021

Multi-Execution Lattices Fast and Slow.

Maximilian Algehed, Cormac Flanagan

CoRR, 2021

2020

The anchor verifier for blocking and non-blocking concurrent software.

Cormac Flanagan, Stephen N. Freund

Proc. ACM Program. Lang., 2020

Transparent IFC Enforcement: Possibility and (In)Efficiency Results.

Maximilian Algehed, Cormac Flanagan

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

2019

IDVE: an integrated development and verification environment for JavaScript.

Christopher Schuster, Cormac Flanagan

Proceedings of the Conference Companion of the 3rd International Conference on Art, 2019

Optimising Faceted Secure Multi-Execution.

Maximilian Algehed, Alejandro Russo, Cormac Flanagan

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

2018

Secure serverless computing using dynamic information flow control.

Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, Keith Winstein

Proc. ACM Program. Lang., 2018

A Better Facet of Dynamic Information Flow Control.

Minh Ngo, Nataliia Bielova, Cormac Flanagan, Tamara Rezk, Alejandro Russo, Thomas Schmitz

Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

VerifiedFT: a verified, high-performance precise dynamic race detector.

James R. Wilcox, Cormac Flanagan, Stephen N. Freund

Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

ESVERIFY: Verifying Dynamically-Typed Higher-Order Functional Programs by SMT Solving.

Christopher Schuster, Sohum Banerjea, Cormac Flanagan

Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 2018

Faceted Secure Multi Execution.

Thomas Schmitz, Maximilian Algehed, Cormac Flanagan, Alejandro Russo

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

Multiple Facets for Dynamic Information Flow with Exceptions.

Thomas H. Austin, Thomas Schmitz, Cormac Flanagan

ACM Trans. Program. Lang. Syst., 2017

BigFoot: static check placement for dynamic race detection.

Dustin Rhodes, Cormac Flanagan, Stephen N. Freund

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Correctness of Partial Escape Analysis for Multithreading Optimization.

Dustin Rhodes, Cormac Flanagan, Stephen N. Freund

Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, 2017

Using Precise Taint Tracking for Auto-sanitization.

Tejas Saoji, Thomas H. Austin, Cormac Flanagan

Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, 2017

2016

Faceted Dynamic Information Flow via Control and Data Monads.

Thomas Schmitz, Dustin Rhodes, Thomas H. Austin, Kenneth L. Knowles, Cormac Flanagan

Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

Precise, dynamic information flow for database-backed applications.

Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Macrofication: Refactoring by Reverse Macro Expansion.

Christopher Schuster, Tim Disney, Cormac Flanagan

Proceedings of the Programming Languages and Systems, 2016

Reactive programming with reactive variables.

Christopher Schuster, Cormac Flanagan

Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

2015

Cooperative types for controlling thread interference in Java.

Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan

Sci. Comput. Program., 2015

End-To-End Policy-Agnostic Security for Database-Backed Applications.

Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong

CoRR, 2015

Game Semantics for Type Soundness.

Tim Disney, Cormac Flanagan

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

Array Shadow State Compression for Precise Dynamic Race Detection (T).

James R. Wilcox, Parker Finch, Cormac Flanagan, Stephen N. Freund

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2014

Developments in automated verification techniques.

Cormac Flanagan, Barbara König

Int. J. Softw. Tools Technol. Transf., 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

Dynamic detection of object capability violations through model checking.

Dustin Rhodes, Tim Disney, Cormac Flanagan

Proceedings of the DLS'14, 2014

Sweeten your JavaScript: hygienic macros for ES5.

Tim Disney, Nathan Faubion, David Herman, Cormac Flanagan

Proceedings of the DLS'14, 2014

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

Faceted execution of policy-agnostic programs.

Thomas H. Austin, Jean Yang, Cormac Flanagan, Armando Solar-Lezama

Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, 2013

RedCard: Redundant Check Elimination for Dynamic Race Detectors.

Cormac Flanagan, Stephen N. Freund

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012

Sound predictive race detection in polynomial time.

Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski, Jaeheon Yi, Cormac Flanagan

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Multiple facets for dynamic information flow.

Thomas H. Austin, Cormac Flanagan

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Detecting inconsistencies via universal reachability analysis.

Aaron Tomb, Cormac Flanagan

Proceedings of the International Symposium on Software Testing and Analysis, 2012

A Functional View of Imperative Information Flow.

Thomas H. Austin, Cormac Flanagan, Martín Abadi

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

Futures.

Cormac Flanagan

Proceedings of the Encyclopedia of Parallel Computing, 2011

Cooperative Concurrency for a Multicore World - (Extended Abstract).

Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan

Proceedings of the Runtime Verification - Second International Conference, 2011

Cooperative reasoning for preemptive execution.

Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan

Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

Correct blame for contracts: no more scapegoating.

Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Virtual values for language extension.

Thomas H. Austin, Tim Disney, Cormac Flanagan

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Temporal higher-order contracts.

Tim Disney, Cormac Flanagan, Jay McCarthy

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

Hybrid type checking.

Kenneth L. Knowles, Cormac Flanagan

ACM Trans. Program. Lang. Syst., 2010

Space-efficient gradual typing.

David Herman, Aaron Tomb, Cormac Flanagan

High. Order Symb. Comput., 2010

FastTrack: efficient and precise dynamic race detection.

Cormac Flanagan, Stephen N. Freund

Commun. ACM, 2010

Effects for cooperable and serializable threads.

Jaeheon Yi, Cormac Flanagan

Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2010

Adversarial memory for detecting destructive races.

Cormac Flanagan, Stephen N. Freund

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Permissive dynamic information flow analysis.

Thomas H. Austin, Cormac Flanagan

Proceedings of the 2010 Workshop on Programming Languages and Analysis for Security, 2010

The RoadRunner dynamic analysis framework for concurrent programs.

Cormac Flanagan, Stephen N. Freund

Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2010

2009

Compositional reasoning and decidable checking for dependent contract types.

Kenneth L. Knowles, Cormac Flanagan

Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, 2009

Efficient purely-dynamic information flow analysis.

Thomas H. Austin, Cormac Flanagan

Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, 2009

SideTrack: generalizing dynamic atomicity analysis.

Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, 2009

SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs.

Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan

Proceedings of the Programming Languages and Systems, 2009

09361 Abstracts Collection - Design and Validation of Concurrent Systems.

Cormac Flanagan, Susanne Graf, Madhusan Parthasarathy, Shaz Qadeer

Proceedings of the Design and Validation of Concurrent Systems, 30.08. - 04.09.2009, 2009

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

Atomizer: A dynamic atomicity checker for multithreaded programs.

Cormac Flanagan, Stephen N. Freund

Sci. Comput. Program., 2008

Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs.

Cormac Flanagan, Stephen N. Freund, Jaeheon Yi

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

2007

Type inference against races.

Cormac Flanagan, Stephen N. Freund

Sci. Comput. Program., 2007

Cartesian Partial-Order Reduction.

Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv

Proceedings of the Model Checking Software, 2007

Unifying Hybrid Types and Contracts.

Jessica Gronski, Cormac Flanagan

Proceedings of the Eighth Symposium on Trends in Functional Programming, 2007

Status report: specifying javascript with ML.

David Herman, Cormac Flanagan

Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007, 2007

Type Reconstruction for General Refinement Types.

Kenneth L. Knowles, Cormac Flanagan

Proceedings of the Programming Languages and Systems, 2007

2006

Types for safe locking: Static race detection for Java.

Martín Abadi, Cormac Flanagan, Stephen N. Freund

ACM Trans. Program. Lang. Syst., 2006

Hybrid type checking.

Cormac Flanagan

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

Dynamic Architecture Extraction.

Cormac Flanagan, Stephen N. Freund

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

2005

Exploiting Purity for Atomicity.

Cormac Flanagan, Stephen N. Freund, Shaz Qadeer

IEEE Trans. Software Eng., 2005

Modular verification of multithreaded programs.

Cormac Flanagan, Stephen N. Freund, Shaz Qadeer, Sanjit A. Seshia

Theor. Comput. Sci., 2005

Type inference for atomicity.

Cormac Flanagan, Stephen N. Freund, Marina Lifshin

Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2005

Automatic type inference via partial evaluation.

Aaron Tomb, Cormac Flanagan

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

Dynamic partial-order reduction for model checking software.

Cormac Flanagan, Patrice Godefroid

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

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

Proceedings of the ECOOP 2005, 2005

2004

Automatic software model checking via constraint logic.

Cormac Flanagan

Sci. Comput. Program., 2004

Verifying Commit-Atomicity Using Model-Checking.

Cormac Flanagan

Proceedings of the Model Checking Software, 2004

Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary).

Cormac Flanagan, Stephen N. Freund

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

2003

Transactions for Software Model Checking.

Cormac Flanagan, Shaz Qadeer

Proceedings of the 2003 Workshop on Software Model Checking, 2003

Types for atomicity.

Cormac Flanagan, Shaz Qadeer

Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2003

Thread-Modular Model Checking.

Cormac Flanagan, Shaz Qadeer

Proceedings of the Model Checking Software, 2003

A type and effect system for atomicity.

Cormac Flanagan, Shaz Qadeer

Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

Automatic Software Model Checking Using CLP.

Cormac Flanagan

Proceedings of the Programming Languages and Systems, 2003

Theorem Proving Using Lazy Proof Explication.

Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

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

Predicate abstraction for software verification.

Cormac Flanagan, Shaz Qadeer

Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

Extended Static Checking for Java.

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

Thread-Modular Verification for Shared-Memory Programs.

Cormac Flanagan, Stephen N. Freund, Shaz Qadeer

Proceedings of the Programming Languages and Systems, 2002

A Modular Checker for Multithreaded Programs.

Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

Annotation inference for modular checkers.

Cormac Flanagan, Rajeev Joshi, K. Rustan M. Leino

Inf. Process. Lett., 2001

Avoiding exponential explosion: generating compact verification conditions.

Cormac Flanagan, James B. Saxe

Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001

Detecting race conditions in large programs.

Cormac Flanagan, Stephen N. Freund

Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2001

Houdini, an Annotation Assistant for ESC/Java.

Cormac Flanagan, K. Rustan M. Leino

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

2000

Type-based race detection for Java.

Cormac Flanagan, Stephen N. Freund

Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

1999

Componential Set-Based Analysis.

Cormac Flanagan, Matthias Felleisen

ACM Trans. Program. Lang. Syst., 1999

The Semantics of Future and an Application.

Cormac Flanagan, Matthias Felleisen

J. Funct. Program., 1999

Types for Safe Locking.

Cormac Flanagan, Martín Abadi

Proceedings of the Programming Languages and Systems, 1999

Object Types against Races.

Cormac Flanagan, Martín Abadi

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1997

DrScheme: A Pedagogic Programming Environment for Scheme.

Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen

Proceedings of the Programming Languages: Implementations, 1997

1996

Static Debugging: Browsing the Web of Program Invariants.

Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen

Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

pHluid: The Design of a Parallel Functional Language Implementation on Workstations.

Cormac Flanagan, Rishiyur S. Nikhil

Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996

1995

The Semantics of Future and Its Use in Program Optimizations.

Cormac Flanagan, Matthias Felleisen

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

1993

The essence of compiling with continuations (with retrospective)

Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen

Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1993

The Essence of Compiling with Continuations.

Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen

Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), 1993