☰

Cormac Flanagan

Affiliations: 
University of California, Santa Cruz, Santa Cruz, CA, United States 
Area:
Computer Science
Google:
"Cormac Flanagan"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor

Children

Sign in to add trainee
Aaron Tomb grad student 2011 UC Santa Cruz
Jaeheon Yi grad student 2011 UC Santa Cruz
Thomas H. Austin grad student 2013 UC Santa Cruz
Kenneth L. Knowles grad student 2014 UC Santa Cruz

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Algehed M, Flanagan C. (2020) Transparent IFC Enforcement: Possibility and (In)Efficiency Results Cell Structure and Function. 65-78
Algehed M, Russo A, Flanagan C. (2019) Optimising Faceted Secure Multi-Execution Cell Structure and Function. 1-16
Austin TH, Schmitz T, Flanagan C. (2017) Multiple Facets for Dynamic Information Flow with Exceptions Acm Transactions On Programming Languages and Systems. 39: 1-56
Yi J, Disney T, Freund SN, et al. (2014) Cooperative types for controlling thread interference in Java Science of Computer Programming
Austin TH, Flanagan C. (2012) Multiple facets for dynamic information flow Acm Sigplan Notices. 47: 165-177
Tomb A, Flanagan C. (2012) Detecting inconsistencies via universal reachability analysis 2012 International Symposium On Software Testing and Analysis, Issta 2012 - Proceedings. 287-297
Flanagan C, Freund SN. (2010) FastTrack: Efficient and precise dynamic race detection Communications of the Acm. 53: 93-101
Austin TH, Flanagan C. (2010) Permissive dynamic information flow analysis Proceedings of the Acm Sigplan 5th Workshop On Programming Languages and Analysis For Security, Plas 2010
Flanagan C, Freund SN. (2010) The RoadRunner dynamic analysis framework for concurrent programs Acm Sigplan/Sigsoft Workshop On Program Analysis For Software Tools and Engineering. 1-8
Yi J, Flanagan C. (2010) Effects for cooperable and serializable threads Tldi'10 - Proceedings of the 2010 Acm Sigplan Workshop On Types in Language Design and Implementation. 3-14
See more...