David Darais

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


TyDe 2019Co-chair in Program Committee within the TyDe 2019-track
Co-chair in Organizing Committee within the TyDe 2019-track
SPLASH 2019Student 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
Co-chair in Organizers within the SRC-track
ECOOP 2019Committee Member in Posters committee within the Posters-track
PLMW @ ICFP 2018Panelist of Panel Discussion: Research in Functional Programming within the PLMW @ ICFP 2018-track
TyDe 2018Session Chair of Error Messages & Contexts (part of TyDe 2018)
Committee Member in Program Committee within the TyDe 2018-track
ICFP 2019Committee Member in Program Committee within the Student Research Competition-track
ICFP 2018Committee Member in External Review Committee within the Research Papers-track
ICFP 2017Author of Abstracting Definitional Interpreters within the Research Papers-track
POPL 2017Videos in Organizing Committee
SPLASH 2017Speaker 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 2017Video Chair in Organizing Committee
ECOOP 2017Doctoral Symposium Chair in Organizing Committee
Co-chair in Program Committee within the ECOOP Doctoral Symposium-track
ICFP 2016Author of Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory within the Research Papers-track
PLDI 2016Video Co-Chair in Organizing Committee
ECOOP 2016Author of Compositional and Mechanically Verified Program Analyzers within the Doctoral Symposium-track
Video Chair in Organizing Committee
POPL 2016Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track
SPLASH 2015Author of Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis within the OOPSLA-track