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