Cormac Flanagan

113 papers A* 26A 19B 6C 3Journal 26Unranked 29

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