Benjamin Delaware

Registered user since Wed 25 Nov 2015

Name:Benjamin Delaware
Affiliation:Purdue University
Research interests:Programming Languages and Verification

Contributions

CPP 2022 Committee Member in Program Committee within the CPP 2022-track
PLDI 2021 Author of Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring within the PLDI-track
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