Benjamin Delaware
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
9
Active years
2011–2022
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | APLAS | RHLE: Modular Deductive Verification of Relational ∀ ∃ Properties. | Robert Dickerson, Qianchuan Ye, Michael K. Zhang, Benjamin Delaware |
| 2021 | GPCE | HACCLE: metaprogramming for secure multi-party computation. | Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benot Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni |
| 2021 | PLDI | Repairing serializability bugs in distributed database programs via automated schema refactoring. | Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan |
| 2020 | CADE | Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs. | Clment Pit-Claudel, Peng Wang, Benjamin Delaware, Jason Gross, Adam Chlipala |
| 2019 | CPP | A verified protocol buffer compiler. | Qianchuan Ye, Benjamin Delaware |
| 2017 | HASKELL | Using Coq to write fast and correct Haskell. | John Wiegley, Benjamin Delaware |
| 2015 | POPL | Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant. | Benjamin Delaware, Clment Pit-Claudel, Jason Gross, Adam Chlipala |
| 2013 | ICFP | Modular monadic meta-theory. | Benjamin Delaware, Steven Keuchel, Tom Schrijvers, Bruno C. d. S. Oliveira |
| 2013 | POPL | Meta-theory la carte. | Benjamin Delaware, Bruno C. d. S. Oliveira, Tom Schrijvers |
| 2011 | OOPSLA | Product lines of theorems. | Benjamin Delaware, William R. Cook, Don S. Batory |