![David Costanzo](https://conf.researchr.org/getProfileImage/davidcostanzo/5bef32f8-c3a4-45a5-8196-bc46d3828846/small.jpg?1714380005000)
Registered user since Mon 22 Feb 2016
Name:David Costanzo
Country:United States
Affiliation:Yale University
Research interests:Formal Verification, Programming Languages, System Security
Contributions
PLDI 2018-profile
View general profile
View general profile