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

Contributions

TyDe 2019	Co-chair in Program Committee within the TyDe 2019-track Co-chair in Organizing Committee within the TyDe 2019-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 Co-chair in Organizers 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 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