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: Flanagan:Cormac
Facilitated 3 volumes:
Ed
Ed
EdContributed to:
2015
2013
2012
2012
2011
20112011
201120102010
2009200920082007
2006200620052005
20052004
2004
2003200320032002200220022002
200120012001200019991997199719961996199519931993
20152016201820162017Wrote 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.