Cormac Flanagan
Academic Editor

Cormac Flanagan


Professor of Computer Science. Recent research projects include "RoadRunner : A Dynamic Analysis Infrastructure", "Cooperable Concurrency : A Concurrent Programming Methodology", "Concurrency Types for X10: Race-Freedom, Atomicity, and Determinism". "Atomicity" and "Hybrid Type Checking".

Programming Languages Security & Privacy

Work details


University of California at Santa Cruz
Department of Computer Science