Cormac Flanagan - ‹Programming› 2019

Mon 1 - Thu 4 April 2019 Genoa, Italy

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/19	Author of IDVE: an Integrated Development and Verification Environment for JavaScript within the PX/19-track
‹Programming› 2019	Author 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

‹Programming› 2019-profile
View general profile