Write a Blog >>
Cormac Flanagan

Registered user since Wed 6 Jul 2016

Name: Cormac Flanagan

Country: Ireland

Affiliation: University of California, Santa Cruz

Personal website: http://users.soe.ucsc.edu/~cormac/

Research interests: Programming Languages, Security

Contributions

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