BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Ireland
1 × Poland
1 × The Netherlands
18 × USA
2 × France
2 × Germany
2 × Italy
2 × Japan
2 × Portugal
3 × Canada
4 × United Kingdom
Collaborated with:
S.N.Freund M.Felleisen T.Disney S.Qadeer J.Yi A.Tomb T.H.Austin J.B.Saxe C.Sadowski K.R.M.Leino K.L.Knowles P.Godefroid M.Abadi R.S.Nikhil A.Sabry B.F.Duba R.B.Findler M.Flatt S.Krishnamurthi J.McCarthy S.A.Seshia C.Schuster Dustin Rhodes C.Dimoulas R.Joshi X.Ou J.R.Wilcox P.Finch Y.Smaragdakis J.Evans S.Weirich E.Rodríguez M.B.Dwyer J.Hatcliff G.T.Leavens Robby M.Lillibridge G.Nelson R.Stata Jean Yang 0001 Travis Hance A.Solar-Lezama S.Chong Kalev Alpernas Sadjad Fouladi L.Ryzhyk M.Sagiv Thomas Schmitz Keith Winstein
Talks about:
dynam (13) program (11) type (10) race (9) detect (8) check (6) multithread (4) checker (4) verif (4) java (4)

Person: Cormac Flanagan

DBLP DBLP: Flanagan:Cormac

Facilitated 3 volumes:

PLDI 2013Ed
TACAS 2012Ed
PASTE 2004Ed

Contributed to:

LICS 20152015
ECOOP 20132013
ISSTA 20122012
POPL 20122012
ICFP 20112011
OOPSLA 20112011
POPL 20112011
PPoPP 20112011
PASTE 20102010
PLDI 20102010
ESOP 20092009
PLDI 20092009
PLDI 20082008
ESOP 20072007
FATES/RV 20062006
POPL 20062006
ECOOP 20052005
POPL 20052005
PPDP 20052005
POPL 20042004
SAS 20042004
CAV 20032003
ESOP 20032003
PLDI 20032003
CAV 20022002
ESOP 20022002
PLDI 20022002
POPL 20022002
FME 20012001
PASTE 20012001
POPL 20012001
PLDI 20002000
ESOP 19991999
PLDI 19971997
PLILP 19971997
ICFP 19961996
PLDI 19961996
POPL 19951995
Best of PLDI 20041993
PLDI 19931993
ASE 20152015
ESOP 20162016
OOPSLA 20182018
PLDI 20162016
PLDI 20172017

Wrote 47 papers:

LICS-2015-DisneyF #game studies #semantics
Game Semantics for Type Soundness (TD, CF), pp. 104–114.
ECOOP-2013-FlanaganF #detection #named
RedCard: Redundant Check Elimination for Dynamic Race Detectors (CF, SNF), pp. 255–280.
ISSTA-2012-TombF #analysis #consistency #detection #nondeterminism #reachability
Detecting inconsistencies via universal reachability analysis (AT, CF), pp. 287–297.
ISSTA-2012-YiDFF #concurrent #java #thread
Cooperative types for controlling thread interference in Java (JY, TD, SNF, CF), pp. 232–242.
POPL-2012-AustinF #data flow #information management #multi
Multiple facets for dynamic information flow (THA, CF), pp. 165–178.
POPL-2012-SmaragdakisESYF #concurrent #detection #polynomial #predict
Sound predictive race detection in polynomial time (YS, JE, CS, JY, CF), pp. 387–400.
ICFP-2011-DisneyFM #contract #higher-order
Temporal higher-order contracts (TD, CF, JM), pp. 176–188.
OOPSLA-2011-AustinDF
Virtual values for language extension (THA, TD, CF), pp. 921–938.
POPL-2011-DimoulasFFF #contract
Correct blame for contracts: no more scapegoating (CD, RBF, CF, MF), pp. 215–226.
PPoPP-2011-YiSF #execution #reasoning
Cooperative reasoning for preemptive execution (JY, CS, CF), pp. 147–156.
PASTE-2010-FlanaganF #concurrent #dynamic analysis #framework #source code
The RoadRunner dynamic analysis framework for concurrent programs (CF, SNF), pp. 1–8.
PLDI-2010-FlanaganF #detection #memory management
Adversarial memory for detecting destructive races (CF, SNF), pp. 244–254.
ESOP-2009-SadowskiFF #named #parallel #source code #thread
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs (CS, SNF, CF), pp. 394–409.
PLDI-2009-FlanaganF #concurrent #detection #named #performance #precise
FastTrack: efficient and precise dynamic race detection (CF, SNF), pp. 121–133.
PLDI-2008-FlanaganFY #named #parallel #source code #thread
Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs (CF, SNF, JY), pp. 293–303.
ESOP-2007-KnowlesF #re-engineering #refinement
Type Reconstruction for General Refinement Types (KLK, CF), pp. 505–519.
FATES-RV-2006-FlanaganF #architecture
Dynamic Architecture Extraction (CF, SNF), pp. 209–224.
POPL-2006-Flanagan #hybrid #type checking
Hybrid type checking (CF), pp. 245–256.
ECOOP-2005-RodriguezDFHLR #composition #concurrent #ml #multi #source code #specification #thread #verification
Extending JML for Modular Specification and Verification of Multi-threaded Programs (ER, MBD, CF, JH, GTL, R), pp. 551–576.
POPL-2005-FlanaganG #model checking #partial order #reduction
Dynamic partial-order reduction for model checking software (CF, PG), pp. 110–121.
PPDP-2005-TombF #automation #partial evaluation #type inference
Automatic type inference via partial evaluation (AT, CF), pp. 106–116.
POPL-2004-FlanaganF #named #parallel #source code #thread
Atomizer: a dynamic atomicity checker for multithreaded programs (CF, SNF), pp. 256–267.
SAS-2004-FlanaganF #type inference
Type Inference Against Races (CF, SNF), pp. 116–132.
CAV-2003-FlanaganJOS #lazy evaluation #proving #theorem proving #using
Theorem Proving Using Lazy Proof Explication (CF, RJ, XO, JBS), pp. 355–367.
ESOP-2003-Flanagan #automation #model checking #using
Automatic Software Model Checking Using CLP (CF), pp. 189–203.
PLDI-2003-FlanaganQ
A type and effect system for atomicity (CF, SQ), pp. 338–349.
CAV-2002-FlanaganQS #composition #parallel #source code #thread
A Modular Checker for Multithreaded Programs (CF, SQ, SAS), pp. 180–194.
ESOP-2002-FlanaganFQ #source code #thread #verification
Thread-Modular Verification for Shared-Memory Programs (CF, SNF, SQ), pp. 262–277.
PLDI-2002-FlanaganLLNSS #java #static analysis
Extended Static Checking for Java (CF, KRML, ML, GN, JBS, RS), pp. 234–245.
POPL-2002-FlanaganQ #abstraction #verification
Predicate abstraction for software verification (CF, SQ), pp. 191–202.
FME-2001-FlanaganL #java
Houdini, an Annotation Assistant for ESC/Java (CF, KRML), pp. 500–517.
PASTE-2001-FlanaganF #detection #scalability #source code
Detecting race conditions in large programs (CF, SNF), pp. 90–96.
POPL-2001-FlanaganS #explosion #exponential #generative #verification
Avoiding exponential explosion: generating compact verification conditions (CF, JBS), pp. 193–205.
PLDI-2000-FlanaganF #concurrent #detection #java #type system
Type-based race detection for Java (CF, SNF), pp. 219–232.
ESOP-1999-FlanaganA
Types for Safe Locking (CF, MA), pp. 91–108.
PLDI-1997-FlanaganF #analysis #component
Componential Set-Based Analysis (CF, MF), pp. 235–248.
PLILP-1997-FindlerFFKF #named #programming
DrScheme: A Pedagogic Programming Environment for Scheme (RBF, CF, MF, SK, MF), pp. 369–388.
ICFP-1996-FlanaganN #design #functional #implementation #named #parallel
pHluid: The Design of a Parallel Functional Language Implementation on Workstations (CF, RSN), pp. 169–179.
PLDI-1996-FlanaganFKWF #debugging #invariant #web
Static Debugging: Browsing the Web of Program Invariants (CF, MF, SK, SW, MF), pp. 23–32.
POPL-1995-FlanaganF #optimisation #semantics
The Semantics of Future and Its Use in Program Optimizations (CF, MF), pp. 209–220.
Best-of-PLDI-1993-FlanaganSDF93a #compilation #continuation
The essence of compiling with continuations (with retrospective) (CF, AS, BFD, MF), pp. 502–514.
PLDI-1993-FlanaganSDF #compilation #continuation
The Essence of Compiling with Continuations (CF, AS, BFD, MF), pp. 237–247.
ASE-2015-WilcoxFFF #array #concurrent #detection #precise
Array Shadow State Compression for Precise Dynamic Race Detection (T) (JRW, PF, CF, SNF), pp. 155–165.
ESOP-2016-SchusterDF #metaprogramming #named #refactoring
Macrofication: Refactoring by Reverse Macro Expansion (CS, TD, CF), pp. 644–671.
OOPSLA-2018-AlpernasFFRSSW #data flow #information management #using
Secure serverless computing using dynamic information flow control (KA, CF, SF, LR, MS, TS, KW), p. 26.
PLDI-2016-YangHASFC #data flow #information management #precise
Precise, dynamic information flow for database-backed applications (JY0, TH, THA, ASL, CF, SC), pp. 631–647.
PLDI-2017-RhodesFF #concurrent #detection #named #static analysis
BigFoot: static check placement for dynamic race detection (DR, CF, SNF), pp. 141–156.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.