SPLASH 2014 (series) / Cormac Flanagan

Registered user since Wed 6 Jul 2016
Name: Cormac Flanagan
Affiliation: UC Santa Cruz
Personal website: http://users.soe.ucsc.edu/~cormac/
Contributions
DLS | Sweeten Your JavaScript: Hygienic Macros for ES5 Dynamic Detection of Object Capability Violations Through Model Checking | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2014-profile
View general profile
View general profile