Concepedia

Cormac Flanagan

CF

22

Publications

3.1K

Citations

17

H-Index

1996

Active since

Affiliations

University of California, Santa Cruz(Current)

Williams College

Chalmers University of Technology

University of Washington

Cormac Flanagan is an author at University of California, Santa Cruz specializing in engineering, program analysis, and computer science.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationFormal MethodsComputer EngineeringVerificationSoftware TestingHardware Security

Publications per year

1996–2018

22

Publications

22

FastTrack

Cormac Flanagan, Stephen N. Freund · 2009 · 667 citations

Dynamic partial-order reduction for model checking software

Cormac Flanagan, Patrice Godefroid · 2005 · 634 citations

Program Checking, Engineering, Verification +17

Type-based race detection for Java

Cormac Flanagan, Stephen N. Freund · 2000 · 441 citations

Engineering, Verification, Software Engineering +16

Avoiding exponential explosion

Cormac Flanagan, James B. Saxe · 2001 · 220 citations

Program Checking, Engineering, Verification +21

Efficient purely-dynamic information flow analysis

Thomas H. Austin, Cormac Flanagan · 2009 · 197 citations

Engineering, Information Security, Verification +19

Rows per page

1–5 of 22