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