conf.researchr.org / 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
All Activities
- Speaker in PLMW Speakers for SPLASH 2017 PL Mentoring Workshop (PLMW)
- Author of Compositional and Mechanically Verified Program Analyzers within the Doctoral Symposium-track in ECOOP 2016
- Committee Member in External Review Committee for ICFP 2018 Research Papers
- Video Chair in Organizing Committee for ECOOP 2016
- Doctoral Symposium Chair in Organizing Committee for ECOOP 2017
- Video Co-Chair in Organizing Committee for SPLASH 2017
- Video Co-Chair in Organizing Committee for PLDI 2016
- Author of Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis within the OOPSLA-track in SPLASH 2015
- Co-chair in Program Committee for ECOOP 2017 ECOOP Doctoral Symposium
- Author of Abstracting Definitional Interpreters within the Research Papers-track in ICFP 2017
- Videos in Organizing Committee for POPL 2017
- Video Chair in Organizing Committee for PLDI 2017
- Author of Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory within the Research Papers-track in ICFP 2016
- Committee Member in Program Committee for TyDe 2018
- Committee Member in Artifact Evaluation committee for POPL 2016 Artifact Evaluation
- Panelist of Panel of new Ph.D.s within the PL Mentoring Workshop (PLMW)-track in SPLASH 2017