Benjamin Delaware

Registered user since Wed 25 Nov 2015

Name: Benjamin Delaware

Affiliation: Purdue University

Personal website: https://www.cs.purdue.edu/homes/bendy/

Research interests: Programming Languages and Verification

Contributions

APLAS 2020 Committee Member in Program Committee
Session Chair of Program Analysis and Verification (part of Research Papers)
Haskell 2019 Committee Member in Program Committee within the Haskell 2019-track
POPL 2020 Artifact Evaluation Co-Chair in Organizing Committee
Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the Artifact Evaluation-track
SPLASH 2019 Author of CLOTHO: Directed Test Generation for Weakly Consistent Database Systems within the OOPSLA-track
CPP 2019 Author of A Verified Protocol Buffer Compiler within the CPP 2019-track
POPL 2019 Session Chair of Type Abstraction and Effects (part of Research Papers)
Artifact Evaluation Co-Chair in Organizing Committee
Committee Member in Program Committee within the Research Papers-track
Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the Artifact Evaluation-track
ICFP 2019 Author of Narcissus: Correct-By-Construction Derivation of Decoders and Encoders from Binary Formats within the Research Papers-track
CoqPL 2018 Author of Towards Context-Aware Data Refinement within the -track
Session Chair of Tactics and Proof Engineering (part of )
Committee Member in Program Committee within the -track
FOSD 2017 Committee Member in Program Committee within the FOSD 2017-track
Haskell 2017 Author of Using Coq to Write Fast and Correct Haskell within the Haskell 2017-track
POPL 2018 Student Research Competition Chair of SRC Awards within the Research Papers-track
Student Research Competition Chair in Selection Committee within the Student Research Competition-track
Student Research Competition Chair in Organizing Committee
POPL 2017 ERC member in External Review Committee within the POPL-track
Session Chair of Verification and Synthesis (part of POPL)
CoqPL 2016 Author of A Case for Tactics with (Limited) Side Effects within the CoqPL-track
Modularity 2016 Committee Member in Review Committee (External) within the Research Results-track
SPLASH 2013 Committee Member in Artifacts within the OOPSLA Artifacts-track
SPLASH 2011 Author of Product Lines of Theorems within the OOPSLA-track