default search action
Cormac Flanagan
Person information
- affiliation: University of California, Santa Cruz, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c80]Cormac Flanagan, Stephen N. Freund:
Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning. ECOOP 2024: 16:1-16:29 - [i6]Cormac Flanagan, Stephen N. Freund:
Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version). CoRR abs/2407.08070 (2024) - 2021
- [i5]Maximilian Algehed, Cormac Flanagan:
Multi-Execution Lattices Fast and Slow. CoRR abs/2103.13667 (2021) - 2020
- [j21]Cormac Flanagan, Stephen N. Freund:
The anchor verifier for blocking and non-blocking concurrent software. Proc. ACM Program. Lang. 4(OOPSLA): 156:1-156:29 (2020) - [c79]Maximilian Algehed, Cormac Flanagan:
Transparent IFC Enforcement: Possibility and (In)Efficiency Results. CSF 2020: 65-78 - [i4]Maximilian Algehed, Cormac Flanagan:
Transparent IFC Enforcement: Possibility and (In)Efficiency Results. CoRR abs/2005.12345 (2020)
2010 – 2019
- 2019
- [c78]Maximilian Algehed, Alejandro Russo
, Cormac Flanagan:
Optimising Faceted Secure Multi-Execution. CSF 2019: 1-16 - [c77]Christopher Schuster, Cormac Flanagan:
IDVE: an integrated development and verification environment for JavaScript. Programming 2019: 19:1-19:16 - 2018
- [j20]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): 118:1-118:26 (2018) - [c76]Thomas Schmitz, Maximilian Algehed, Cormac Flanagan, Alejandro Russo
Faceted Secure Multi Execution. CCS 2018: 1617-1634 - [c75]Christopher Schuster, Sohum Banerjea, Cormac Flanagan:
ESVERIFY: Verifying Dynamically-Typed Higher-Order Functional Programs by SMT Solving. IFL 2018: 59-70 - [c74]James R. Wilcox
VerifiedFT: a verified, high-performance precise dynamic race detector. PPoPP 2018: 354-367 - [c73]Minh Ngo
A Better Facet of Dynamic Information Flow Control. WWW (Companion Volume) 2018: 731-739 - [i3]Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, Keith Winstein:
Secure Serverless Computing Using Dynamic Information Flow Control. CoRR abs/1802.08984 (2018) - 2017
- [j19]Thomas H. Austin
Multiple Facets for Dynamic Information Flow with Exceptions. ACM Trans. Program. Lang. Syst. 39(3): 10:1-10:56 (2017) - [c72]Tejas Saoji, Thomas H. Austin
Using Precise Taint Tracking for Auto-sanitization. PLAS@CCS 2017: 15-24 - [c71]Dustin Rhodes, Cormac Flanagan, Stephen N. Freund:
Correctness of Partial Escape Analysis for Multithreading Optimization. FTfJP@ECOOP 2017: 9:1-9:6 - [c70]Dustin Rhodes, Cormac Flanagan, Stephen N. Freund:
BigFoot: static check placement for dynamic race detection. PLDI 2017: 141-156 - 2016
- [c69]Christopher Schuster, Cormac Flanagan:
Reactive programming with reactive variables. MODULARITY (Companion) 2016: 29-33 - [c68]Christopher Schuster, Tim Disney, Cormac Flanagan:
Macrofication: Refactoring by Reverse Macro Expansion. ESOP 2016: 644-671 - [c67]Jean Yang, Travis Hance, Thomas H. Austin
Precise, dynamic information flow for database-backed applications. PLDI 2016: 631-647 - [c66]Thomas Schmitz, Dustin Rhodes, Thomas H. Austin, Kenneth L. Knowles, Cormac Flanagan:
Faceted Dynamic Information Flow via Control and Data Monads. POST 2016: 3-23 - 2015
- [j18]Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan:
Cooperative types for controlling thread interference in Java. Sci. Comput. Program. 112: 227-260 (2015) - [c65]James R. Wilcox, Parker Finch, Cormac Flanagan, Stephen N. Freund:
Array Shadow State Compression for Precise Dynamic Race Detection (T). ASE 2015: 155-165 - [c64]Tim Disney, Cormac Flanagan:
Game Semantics for Type Soundness. LICS 2015: 104-114 - [i2]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 abs/1507.03513 (2015) - 2014
- [j17]Hans-Juergen Boehm, Jack W. Davidson, Kathleen Fisher, Cormac Flanagan, Jeremy Gibbons, Mary W. Hall
Practices of PLDI. ACM SIGPLAN Notices 49(4S): 33-38 (2014) - [j16]Cormac Flanagan, Barbara König:
Developments in automated verification techniques. Int. J. Softw. Tools Technol. Transf. 16(2): 123-125 (2014) - [c63]Tim Disney, Nathan Faubion, David Herman, Cormac Flanagan:
Sweeten your JavaScript: hygienic macros for ES5. DLS 2014: 35-44 - [c62]Dustin Rhodes, Tim Disney, Cormac Flanagan:
Dynamic detection of object capability violations through model checking. DLS 2014: 103-112 - 2013
- [j15]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): 22-33 (2013) - [c61]Cormac Flanagan, Stephen N. Freund:
RedCard: Redundant Check Elimination for Dynamic Race Detectors. ECOOP 2013: 255-280 - [c60]Thomas H. Austin
Faceted execution of policy-agnostic programs. PLAS 2013: 15-26 - [e5]Hans-Juergen Boehm, Cormac Flanagan:
ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13, Seattle, WA, USA, June 16-19, 2013. ACM 2013, ISBN 978-1-4503-2014-6 [contents] - 2012
- [c59]Thomas H. Austin, Cormac Flanagan, Martín Abadi:
A Functional View of Imperative Information Flow. APLAS 2012: 34-49 - [c58]Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan:
Cooperative types for controlling thread interference in Java. ISSTA 2012: 232-242 - [c57]Aaron Tomb, Cormac Flanagan:
Detecting inconsistencies via universal reachability analysis. ISSTA 2012: 287-297 - [c56]Thomas H. Austin
Multiple facets for dynamic information flow. POPL 2012: 165-178 - [c55]Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski, Jaeheon Yi, Cormac Flanagan:
Sound predictive race detection in polynomial time. POPL 2012: 387-400 - [e4]Cormac Flanagan, Barbara König:
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. Lecture Notes in Computer Science 7214, Springer 2012, ISBN 978-3-642-28755-8 [contents] - 2011
- [c54]Tim Disney, Cormac Flanagan, Jay McCarthy:
Temporal higher-order contracts. ICFP 2011: 176-188 - [c53]Thomas H. Austin
Virtual values for language extension. OOPSLA 2011: 921-938 - [c52]Christos Dimoulas
Correct blame for contracts: no more scapegoating. POPL 2011: 215-226 - [c51]Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan:
Cooperative reasoning for preemptive execution. PPoPP 2011: 147-156 - [c50]Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan:
Cooperative Concurrency for a Multicore World - (Extended Abstract). RV 2011: 342-344 - [r1]Cormac Flanagan:
Futures. Encyclopedia of Parallel Computing 2011: 749-753 - 2010
- [j14]Cormac Flanagan, Stephen N. Freund:
FastTrack: efficient and precise dynamic race detection. Commun. ACM 53(11): 93-101 (2010) - [j13]David Herman, Aaron Tomb, Cormac Flanagan:
Space-efficient gradual typing. High. Order Symb. Comput. 23(2): 167-189 (2010) - [j12]Kenneth L. Knowles, Cormac Flanagan:
Hybrid type checking. ACM Trans. Program. Lang. Syst. 32(2): 6:1-6:34 (2010) - [c49]Cormac Flanagan, Stephen N. Freund:
The RoadRunner dynamic analysis framework for concurrent programs. PASTE 2010: 1-8 - [c48]Thomas H. Austin
Permissive dynamic information flow analysis. PLAS 2010: 3 - [c47]Cormac Flanagan, Stephen N. Freund:
Adversarial memory for detecting destructive races. PLDI 2010: 244-254 - [c46]Jaeheon Yi, Cormac Flanagan:
Effects for cooperable and serializable threads. TLDI 2010: 3-14 - [e3]Jean-Christophe Filliâtre, Cormac Flanagan:
Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010. ACM 2010, ISBN 978-1-60558-890-2 [contents]
2000 – 2009
- 2009
- [c45]Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan:
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs. ESOP 2009: 394-409 - [c44]Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan:
SideTrack: generalizing dynamic atomicity analysis. PADTAD 2009 - [c43]Thomas H. Austin
Efficient purely-dynamic information flow analysis. PLAS 2009: 113-124 - [c42]Cormac Flanagan, Stephen N. Freund:
FastTrack: efficient and precise dynamic race detection. PLDI 2009: 121-133 - [c41]Kenneth L. Knowles, Cormac Flanagan:
Compositional reasoning and decidable checking for dependent contract types. PLPV 2009: 27-38 - [e2]Cormac Flanagan, Madhusan Parthasarathy, Shaz Qadeer:
Design and Validation of Concurrent Systems, 30.08. - 04.09.2009. Dagstuhl Seminar Proceedings 09361, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - [i1]Cormac Flanagan, Susanne Graf, Madhusan Parthasarathy, Shaz Qadeer:
09361 Abstracts Collection - Design and Validation of Concurrent Systems. Design and Validation of Concurrent Systems 2009 - 2008
- [j11]Cormac Flanagan, Stephen N. Freund:
Atomizer: A dynamic atomicity checker for multithreaded programs. Sci. Comput. Program. 71(2): 89-109 (2008) - [j10]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): 20:1-20:53 (2008) - [c40]Cormac Flanagan, Stephen N. Freund, Jaeheon Yi:
Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. PLDI 2008: 293-303 - 2007
- [j9]Cormac Flanagan, Stephen N. Freund:
Type inference against races. Sci. Comput. Program. 64(1): 140-165 (2007) - [c39]Kenneth L. Knowles, Cormac Flanagan:
Type Reconstruction for General Refinement Types. ESOP 2007: 505-519 - [c38]David Herman, Cormac Flanagan:
Status report: specifying javascript with ML. ML 2007: 47-52 - [c37]David Herman, Aaron Tomb, Cormac Flanagan:
Space-Efficient Gradual Typing. Trends in Functional Programming 2007: 1-18 - [c36]Jessica Gronski, Cormac Flanagan:
Unifying Hybrid Types and Contracts. Trends in Functional Programming 2007: 54-70 - [c35]Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv:
Cartesian Partial-Order Reduction. SPIN 2007: 95-112 - 2006
- [j8]Martín Abadi, Cormac Flanagan, Stephen N. Freund:
Types for safe locking: Static race detection for Java. ACM Trans. Program. Lang. Syst. 28(2): 207-255 (2006) - [c34]Cormac Flanagan, Stephen N. Freund:
Dynamic Architecture Extraction. FATES/RV 2006: 209-224 - [c33]Cormac Flanagan:
Hybrid type checking. POPL 2006: 245-256 - 2005
- [j7]Cormac Flanagan, Stephen N. Freund, Shaz Qadeer, Sanjit A. Seshia:
Modular verification of multithreaded programs. Theor. Comput. Sci. 338(1-3): 153-183 (2005) - [j6]Cormac Flanagan, Stephen N. Freund, Shaz Qadeer:
Exploiting Purity for Atomicity. IEEE Trans. Software Eng. 31(4): 275-291 (2005) - [c32]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: 551-576 - [c31]Cormac Flanagan, Patrice Godefroid:
Dynamic partial-order reduction for model checking software. POPL 2005: 110-121 - [c30]Aaron Tomb, Cormac Flanagan:
Automatic type inference via partial evaluation. PPDP 2005: 106-116 - [c29]Cormac Flanagan, Stephen N. Freund, Marina Lifshin:
Type inference for atomicity. TLDI 2005: 47-58 - 2004
- [j5]Cormac Flanagan:
Automatic software model checking via constraint logic. Sci. Comput. Program. 50(1-3): 253-270 (2004) - [c28]Cormac Flanagan, Stephen N. Freund:
Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary). IPDPS 2004 - [c27]Cormac Flanagan, Stephen N. Freund, Shaz Qadeer:
Exploiting purity for atomicity. ISSTA 2004: 221-231 - [c26]Cormac Flanagan, Stephen N. Freund:
Atomizer: a dynamic atomicity checker for multithreaded programs. POPL 2004: 256-267 - [c25]Cormac Flanagan, Stephen N. Freund:
Type Inference Against Races. SAS 2004: 116-132 - [c24]Cormac Flanagan:
Verifying Commit-Atomicity Using Model-Checking. SPIN 2004: 252-266 - [e1]Cormac Flanagan, Andreas Zeller:
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. ACM 2004, ISBN 1-58113-910-1 [contents] - 2003
- [c23]Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe:
Theorem Proving Using Lazy Proof Explication. CAV 2003: 355-367 - [c22]Cormac Flanagan:
Automatic Software Model Checking Using CLP. ESOP 2003: 189-203 - [c21]Cormac Flanagan, Shaz Qadeer:
A type and effect system for atomicity. PLDI 2003: 338-349 - [c20]Cormac Flanagan, Shaz Qadeer:
Thread-Modular Model Checking. SPIN 2003: 213-224 - [c19]Cormac Flanagan, Shaz Qadeer:
Types for atomicity. TLDI 2003: 1-12 - [c18]Cormac Flanagan, Shaz Qadeer:
Transactions for Software Model Checking. SoftMC@CAV 2003: 518-539 - 2002
- [j4]Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi
DrScheme: a programming environment for Scheme. J. Funct. Program. 12(2): 159-182 (2002) - [c17]Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia:
A Modular Checker for Multithreaded Programs. CAV 2002: 180-194 - [c16]Cormac Flanagan, Stephen N. Freund, Shaz Qadeer:
Thread-Modular Verification for Shared-Memory Programs. ESOP 2002: 262-277 - [c15]Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata:
Extended Static Checking for Java. PLDI 2002: 234-245 - [c14]Cormac Flanagan, Shaz Qadeer:
Predicate abstraction for software verification. POPL 2002: 191-202 - 2001
- [j3]Cormac Flanagan, Rajeev Joshi, K. Rustan M. Leino:
Annotation inference for modular checkers. Inf. Process. Lett. 77(2-4): 97-108 (2001) - [c13]Cormac Flanagan, K. Rustan M. Leino:
Houdini, an Annotation Assistant for ESC/Java. FME 2001: 500-517 - [c12]Cormac Flanagan, Stephen N. Freund:
Detecting race conditions in large programs. PASTE 2001: 90-96 - [c11]Cormac Flanagan, James B. Saxe:
Avoiding exponential explosion: generating compact verification conditions. POPL 2001: 193-205 - 2000
- [c10]Cormac Flanagan, Stephen N. Freund:
Type-based race detection for Java. PLDI 2000: 219-232
1990 – 1999
- 1999
- [j2]Cormac Flanagan, Matthias Felleisen:
The Semantics of Future and an Application. J. Funct. Program. 9(1): 1-31 (1999) - [j1]Cormac Flanagan, Matthias Felleisen:
Componential Set-Based Analysis. ACM Trans. Program. Lang. Syst. 21(2): 370-416 (1999) - [c9]Cormac Flanagan, Martín Abadi:
Object Types against Races. CONCUR 1999: 288-303 - [c8]Cormac Flanagan, Martín Abadi:
Types for Safe Locking. ESOP 1999: 91-108 - 1997
- [c7]Cormac Flanagan, Matthias Felleisen:
Componential Set-Based Analysis. PLDI 1997: 235-248 - [c6]Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi
DrScheme: A Pedagogic Programming Environment for Scheme. PLILP 1997: 369-388 - 1996
- [c5]Cormac Flanagan, Rishiyur S. Nikhil:
pHluid: The Design of a Parallel Functional Language Implementation on Workstations. ICFP 1996: 169-179 - [c4]Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi
Static Debugging: Browsing the Web of Program Invariants. PLDI 1996: 23-32 - 1995
- [c3]Cormac Flanagan, Matthias Felleisen:
The Semantics of Future and Its Use in Program Optimizations. POPL 1995: 209-220 - 1993
- [c2]Cormac Flanagan, Amr Sabry
The Essence of Compiling with Continuations. PLDI 1993: 237-247 - [c1]Cormac Flanagan, Amr Sabry
The essence of compiling with continuations (with retrospective). Best of PLDI 1993: 502-514
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-14 02:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: