Cormac Flanagan
Affiliations: | University of California, Santa Cruz, Santa Cruz, CA, United States |
Area:
Computer ScienceGoogle:
"Cormac Flanagan"Children
Sign in to add traineeAaron 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 |
BETA: Related publications
See more...
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 |