Benjamin Delaware -

Registered user since Wed 25 Nov 2015

Name:Benjamin Delaware

Country:United States

Affiliation:Purdue University

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

Research interests:Programming Languages and Verification

Contributions

PLDI 2023	Committee Member in PLDI Review Committee within the PLDI Research Papers-track
POPL 2023	Session Chair of Synthesis II (part of POPL) Diversity, Equity, and Inclusion Chair in Organizing Committee Author of A Type-Based Approach to Divide-and-Conquer Recursion in Coq within the POPL-track Committee Member in Program Committee within the POPL-track
APLAS 2022	Author of RHLE: Modular Deductive Verification of Relational ∀∃ Properties within the APLAS-track
POPL 2022	Author of Oblivious Algebraic Data Types within the POPL-track
CoqPL 2022	Author of Scrap your boilerplate definitions in 10 lines of Ltac! within the CoqPL-track
CPP 2022	Committee Member in Program Committee within the CPP 2022-track Session Chair of Semantics and Program Verification (part of CPP 2022)
GPCE 2021	Author of HACCLE: Metaprogramming for Secure Multi-Party Computation within the GPCE-track
SPLASH 2021	Author of Data-Driven Abductive Inference of Library Specifications within the OOPSLA-track Author of Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring within the SIGPLAN Papers-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)
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
Haskell 2019	Committee Member in Program Committee within the Haskell 2019-track
ICFP 2019	Author of Narcissus: Correct-By-Construction Derivation of Decoders and Encoders from Binary Formats within the Research Papers-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
CPP 2019	Author of A Verified Protocol Buffer Compiler within the CPP 2019-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
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
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 2017	ERC member in External Review Committee within the POPL-track Session Chair of Verification and Synthesis (part of POPL)
Modularity 2016	Committee Member in Review Committee (External) within the Research Results-track
CoqPL 2016	Author of A Case for Tactics with (Limited) Side Effects within the CoqPL-track
SPLASH 2013	Committee Member in Artifacts within the OOPSLA Artifacts-track
SPLASH 2011	Author of Product Lines of Theorems within the OOPSLA-track