![David Darais](https://conf.researchr.org/getProfileImage/daviddarais/86326763-9973-44fa-9d14-1bf36e956572/small.jpg?1711456823000)
Registered user since Thu 13 Nov 2014
Name:David Darais
Country:United States
Affiliation:University of Vermont
Personal website: http://david.darais.com
Research interests:Program Analysis, Mechanized Proofs
Contributions
2019
SPLASH
- Student Research Competition Chair in Organizing Committee
- Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy
- Author in Reviewers within the SRC-track
- Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy
- Co-chair in Organizers within the SRC-track
- Committee Member in Judges within the SRC-track
SPLASH 2019-profile
View general profile
View general profile