Cormac Flanagan - SPLASH 2014

Registered user since Wed 6 Jul 2016

Name: Cormac Flanagan

Affiliation: UC Santa Cruz

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

Contributions

DLS	Presenter of Sweeten Your JavaScript: Hygienic Macros for ES5 within the DLS-track Presenter of Dynamic Detection of Object Capability Violations Through Model Checking within the DLS-track
Show activities from other conferences

SPLASH 2014-profile
View general profile