conf.researchr.org / David Darais
Registered user since Thu 13 Nov 2014
Name:David Darais
Country:United States
Affiliation:Galois
Personal website: http://david.darais.com
Research interests:Type Systems, Program Analysis, Mechanized Proofs, Differential Privacy, Secure Multiparty Computation
Contributions
2025
2024
2023
2022
2020
2019
SPLASH
- 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