Registered user since Wed 8 Mar 2017
Name: Paul Gazzillo
Bio: Paul Gazzillo is a research scholar at Stevens Institute of Technology. His research aims to make it easier to develop safe and secure software. His work spans programming languages, security, software engineering, and systems. Projects include program analyses to find side-channels, concurrent smart contracts, parsing C and the preprocessor, and Makefile analysis. He received his PhD from NYU and has previously worked as a post-doc at Yale.
Country: United States
Affiliation: Stevens Institute of Technology
Personal website: https://paulgazzillo.com
Research interests: programming languages, security, software engineering, systems
POPL 2018 Activities