‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
‹Programming› 2019 (series) / Cormac Flanagan
Cormac Flanagan

Registered user since Wed 6 Jul 2016

Name:Cormac Flanagan
Country:Ireland
Affiliation:University of California, Santa Cruz
Personal website:http://users.soe.ucsc.edu/~cormac/
Research interests:Programming Languages, Security

Contributions

‹Programming› 2019 IDVE: an Integrated Development and Verification Environment for JavaScript
Static Verification of JavaScript: IDE Support for Debugging Verification Issues
PX/19 IDVE: an Integrated Development and Verification Environment for JavaScript
Show activities from other conferences

‹Programming› 2019-profile
View general profile