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

SPLASH 2019Committee Member in External Review Committee within the OOPSLA-track
CPP 2019Author of A Verified Protocol Buffer Compiler within the CPP 2019-track
POPL 2019Artifact 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
CoqPL 2018Author 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 2017Committee Member in Program Committee within the FOSD 2017-track
Haskell 2017Author of Using Coq to Write Fast and Correct Haskell within the Haskell 2017-track
POPL 2018Student 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 2017ERC member in External Review Committee within the POPL-track
Session Chair of Verification and Synthesis (part of POPL)
CoqPLAuthor 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 2013Committee Member in Artifacts within the OOPSLA Artifacts-track