‹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

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

Using general profile