![David Darais](https://popl17.sigplan.org/getProfileImage/daviddarais/be5c02dc-5175-4459-9d35-f01d8d230a1a/small.jpg?1711456823000)
Registered user since Thu 13 Nov 2014
Name:David Darais
Country:United States
Affiliation:University of Maryland, USA
Personal website: http://david.darais.com
Research interests:Program Analysis, Mechanized Proofs
Contributions
2017
POPL 2017-profile
View general profile
View general profile