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