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

‹Programming› 2023	Author of Symphony: Expressive Secure Multiparty Computation with Coordination within the Research Papers-track
SPLASH 2022	Author of Solo: A Lightweight Static Analysis for Differential Privacy within the OOPSLA-track
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
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
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
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)
ECOOP 2019	Committee Member in Posters committee within the Posters-track
ICFP 2018	Committee Member in External Review Committee within the Research Papers-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
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
ICFP 2017	Author of Abstracting Definitional Interpreters within the Research Papers-track
ECOOP 2017	Doctoral Symposium Chair in Organizing Committee Co-chair in Program Committee within the ECOOP Doctoral Symposium-track
PLDI 2017	Video Chair in Organizing Committee
POPL 2017	Videos in Organizing Committee
ICFP 2016	Author of Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory within the Research Papers-track
ECOOP 2016	Author of Compositional and Mechanically Verified Program Analyzers within the Doctoral Symposium-track Video Chair in Organizing Committee
PLDI 2016	Video Co-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