Benjamin Delaware

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 28

Top Topics

Abductive Inference

Abstract Data Types

Privacy Policies

Finite Automata

Top Venues

Proc. ACM Program. Lang.

Publications

Zhe Zhou, Qianchuan Ye, Benjamin Delaware, Suresh Jagannathan
A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Zhe Zhou, Qianchuan Ye, Benjamin Delaware, Suresh Jagannathan
A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata. CoRR (2024)
Qianchuan Ye, Benjamin Delaware
Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Robert Dickerson, Prasita Mukherjee, Benjamin Delaware
KestRel: Relational Verification Using E-Graphs for Program Alignment. CoRR (2024)
Qianchuan Ye, Benjamin Delaware
Taype: A Policy-Agnostic Language for Oblivious Computation. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Pedro Abreu, Benjamin Delaware, Alex Hubers, Christa Jenkins, J. Garrett Morris, Aaron Stump
A Type-Based Approach to Divide-and-Conquer Recursion in Coq. Proc. ACM Program. Lang. 7 (POPL) (2023)
Zhe Zhou, Ashish Mishra, Benjamin Delaware, Suresh Jagannathan
Covering All the Bases: Type-Based Verification of Test Input Generators. CoRR (2023)
Zhe Zhou, Ashish Mishra, Benjamin Delaware, Suresh Jagannathan
Covering All the Bases: Type-Based Verification of Test Input Generators. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Qianchuan Ye, Benjamin Delaware
Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation. CoRR (2023)
Qianchuan Ye, Benjamin Delaware
Oblivious algebraic data types. Proc. ACM Program. Lang. 6 (POPL) (2022)
Robert Dickerson, Qianchuan Ye, Michael K. Zhang, Benjamin Delaware
RHLE: Modular Deductive Verification of Relational ∀ ∃ Properties. APLAS (2022)
Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring. CoRR (2021)
Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
Repairing serializability bugs in distributed database programs via automated schema refactoring. PLDI (2021)
Zhe Zhou, Robert Dickerson, Benjamin Delaware, Suresh Jagannathan
Data-Driven Abductive Inference of Library Specifications. CoRR (2021)
Zhe Zhou, Robert Dickerson, Benjamin Delaware, Suresh Jagannathan
Data-driven abductive inference of library specifications. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
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, Benoît Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni
HACCLE: metaprogramming for secure multi-party computation. GPCE (2021)
Aaron Stump, Benjamin Delaware, Christopher Jenkins
Relational Type Theory (All Proofs). CoRR (2021)
Clément Pit-Claudel, Peng Wang, Benjamin Delaware, Jason Gross, Adam Chlipala
Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs. IJCAR (2) (2020)
Robert Dickerson, Qianchuan Ye, Benjamin Delaware
RHLE: Automatic Verification of ∀∃-Hyperproperties. CoRR (2020)
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoît Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni
HACCLE: An Ecosystem for Building Secure Multi-Party Computations. CoRR (2020)
Qianchuan Ye, Benjamin Delaware
A verified protocol buffer compiler. CPP (2019)
Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
CLOTHO: Directed Test Generation for Weakly Consistent Database Systems. CoRR (2019)
Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
CLOTHO: directed test generation for weakly consistent database systems. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Benjamin Delaware, Sorawit Suriyakarn, Clément Pit-Claudel, Qianchuan Ye, Adam Chlipala
Narcissus: correct-by-construction derivation of decoders and encoders from binary formats. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Sorawit Suriyakarn, Clément Pit-Claudel, Benjamin Delaware, Adam Chlipala
Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats. CoRR (2018)
Adam Chlipala, Benjamin Delaware, Samuel Duchovni, Jason Gross, Clément Pit-Claudel, Sorawit Suriyakarn, Peng Wang, Katherine Ye
The End of History? Using a Proof Assistant to Replace Language Design with Library Design. SNAPL (2017)
John Wiegley, Benjamin Delaware
Using Coq to write fast and correct Haskell. Haskell (2017)
Benjamin Delaware, Clément Pit-Claudel, Jason Gross, Adam Chlipala
Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant. POPL (2015)
Benjamin Delaware, Bruno C. d. S. Oliveira, Tom Schrijvers
Meta-theory à la carte. POPL (2013)
Benjamin Delaware, Steven Keuchel, Tom Schrijvers, Bruno C. d. S. Oliveira
Modular monadic meta-theory. ICFP (2013)
Benjamin Delaware, William R. Cook, Don S. Batory
Product lines of theorems. OOPSLA (2011)
Benjamin Delaware, William R. Cook, Don S. Batory
Fitting the pieces together: a machine-checked model of safe composition. ESEC/SIGSOFT FSE (2009)
Benjamin Delaware, William R. Cook, Don S. Batory
A machine-checked model of safe composition. FOAL (2009)