Write a Blog >>
Cormac Flanagan

Registered user since Wed 6 Jul 2016

Name:Cormac Flanagan
Affiliation:University of California, Santa Cruz
Research interests:Programming Languages, Security


FTfJP 2017 Correctness of Partial Escape Analysis for Multithreading Optimization
PLDI 2017 BigFoot: Static Check Placement for Dynamic Race Detection
Chair in Steering Committee
Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile