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

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