David Costanzo -

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

2018

PLDI

Author of Certified Concurrent Abstraction Layers within the PLDI Research Papers-track

2016

PLDI

Author of End-to-End Verification of Information-Flow Security for C and Assembly Programs within the Research Papers-track