David Darais - SPLASH 2019

Sun 20 - Fri 25 October 2019 Athens, Greece

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

SPLASH 2019	Student Research Competition Chair in Organizing Committee Author of Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA-track Author in Reviewers within the SRC-track Author of Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA Artifacts-track Co-chair in Organizers within the SRC-track Committee Member in Judges within the SRC-track
Show activities from other conferences

SPLASH 2019-profile
View general profile