Cormac Flanagan

Available identifiers

zbMath Open flanagan.cormacMaRDI QIDQ557791

List of research outcomes

Publication	Date of Publication	Type
Game Semantics for Type Soundness	2018-04-23	Paper
Hybrid type checking	2017-08-21	Paper
Dynamic partial-order reduction for model checking software	2017-07-14	Paper
Atomizer	2015-11-11	Paper
Multiple facets for dynamic information flow	2015-09-11	Paper
Predicate abstraction for software verification	2015-03-17	Paper
Avoiding exponential explosion	2015-03-17	Paper
Temporal higher-order contracts	2015-03-05	Paper
Correct blame for contracts	2014-04-10	Paper
Transactions for software model checking	2013-08-30	Paper
Space-efficient gradual typing	2012-01-13	Paper
Theorem proving using lazy proof explication.	2010-04-20	Paper
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs	2009-03-31	Paper
Atomizer: A dynamic atomicity checker for multithreaded programs	2008-05-19	Paper
Model Checking Software	2007-09-28	Paper
Type Reconstruction for General Refinement Types	2007-09-04	Paper
Type inference against races	2007-01-22	Paper
Static Analysis	2005-08-24	Paper
Modular verification of multithreaded programs	2005-06-30	Paper
Automatic software model checking via constraint logic	2004-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4738361	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4426384	2003-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4417894	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4804895	2003-05-01	Paper
Annotation inference for modular checkers	2002-07-25	Paper
DrScheme: a programming environment for Scheme	2002-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q2763999	2002-01-22	Paper
The semantics of future and an application	1999-06-28	Paper

Research outcomes over time

This page was built for person: Cormac Flanagan