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

Research interests:Program Analysis, Mechanized Proofs

Contributions

SPLASH 2019	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
Show activities from other conferences

SPLASH 2019-profile
View general profile