David Darais

Registered user since Thu 13 Nov 2014

Name:David Darais
Country:United States
Affiliation:Galois, Inc.
Personal website:http://david.darais.com
Research interests:Type Systems, Program Analysis, Mechanized Proofs, Differential Privacy, Secure Multiparty Computation

Contributions

PLDI 2021 Committee Member in Program Committee within the PLDI-track
ICFP 2020 Committee Member in Program Committee within the ICFP Program-track
PLDI 2020 Committee Member in External Review Committee within the PLDI Research Papers-track
TyDe 2019 Co-chair in Program Committee within the TyDe 2019-track
Co-chair in Organizing Committee within the TyDe 2019-track
Session Chair of Effects (part of TyDe 2019)
POPL 2020 Author of A Language for Probabilistically Oblivious Computation within the Research Papers-track
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
ECOOP 2019 Committee Member in Posters committee within the Posters-track
PLMW @ ICFP 2018 Panelist of Panel Discussion: Research in Functional Programming within the PLMW @ ICFP 2018-track
TyDe 2018 Session Chair of Error Messages & Contexts (part of TyDe 2018)
Committee Member in Program Committee within the TyDe 2018-track
ICFP 2019 Committee Member in Poster and Presentation Judges within the Student Research Competition-track
Committee Member in Program Committee within the Student Research Competition-track
ICFP 2018 Committee Member in External Review Committee within the Research Papers-track
ICFP 2017 Author of Abstracting Definitional Interpreters within the Research Papers-track
POPL 2017 Videos in Organizing Committee
SPLASH 2017 Speaker in PLMW Speakers within the PL Mentoring Workshop (PLMW)-track
Video Co-Chair in Organizing Committee
Panelist of Panel of new Ph.D.s within the PL Mentoring Workshop (PLMW)-track
PLDI 2017 Video Chair in Organizing Committee
ECOOP 2017 Doctoral Symposium Chair in Organizing Committee
Co-chair in Program Committee within the ECOOP Doctoral Symposium-track
ICFP 2016 Author of Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory within the Research Papers-track
PLDI 2016 Video Co-Chair in Organizing Committee
ECOOP 2016 Author of Compositional and Mechanically Verified Program Analyzers within the Doctoral Symposium-track
Video Chair in Organizing Committee
POPL 2016 Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track
SPLASH 2015 Author of Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis within the OOPSLA-track