Follow
Benjamin Delaware
Benjamin Delaware
Assistant Professor, Purdue University
Verified email at purdue.edu - Homepage
Title
Cited by
Cited by
Year
Fitting the pieces together: a machine-checked model of safe composition
B Delaware, WR Cook, D Batory
Proceedings of the the 7th joint meeting of the European software …, 2009
127*2009
Fiat: Deductive synthesis of abstract data types in a proof assistant
B Delaware, C Pit--Claudel, J Gross, A Chlipala
Proc. POPL 2015, 2015
1102015
Meta-Theory a la carte
B Delaware, B C. d. S. Oliveira, T Schrijvers
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013
712013
Product lines of theorems
B Delaware, WR Cook, D Batory
Proceedings of the 2011 ACM international conference on Object oriented …, 2011
52*2011
Modular Monadic Meta-Theory
B Delaware, S Keuchel, T Schrijvers, BCS Oliveira
The 18th ACM SIGPLAN International Conference on Functional Programming, 2013
342013
Narcissus: correct-by-construction derivation of decoders and encoders from binary formats
B Delaware, S Suriyakarn, C Pit-Claudel, Q Ye, A Chlipala
Proceedings of the ACM on Programming Languages 3 (ICFP), 82, 2019
30*2019
The End of History? Using a Proof Assistant to Replace Language Design with Library Design
A Chlipala, B Delaware, S Duchovni, J Gross, C Pit-Claudel, S Suriyakarn, ...
LIPIcs-Leibniz International Proceedings in Informatics 71, 2017
232017
Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs
C Pit-Claudel, P Wang, B Delaware, J Gross, A Chlipala
International Joint Conference on Automated Reasoning, 119-137, 2020
172020
CLOTHO: directed test generation for weakly consistent database systems
K Rahmani, K Nagar, B Delaware, S Jagannathan
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-28, 2019
132019
A Verified Protocol Buffer Compiler
Q Ye, B Delaware
Certified Proofs and Programs, 2019
112019
Model Transformation by Partial Evaluation of Model Interpreters
WR Cook, B Delaware, T Finsterbusch, A Ibrahim, B Wiedermann
Workshop on Advances in Model based Software Engineering (WAMBSE), 2010
72010
Using Coq to write fast and correct Haskell
J Wiegley, B Delaware
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 52-62, 2017
42017
Repairing serializability bugs in distributed database programs via automated schema refactoring
K Rahmani, K Nagar, B Delaware, S Jagannathan
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
32021
Strategic programming by model interpretation and partial evaluation
WR Cook, B Delaware, T Finsterbusch, A Ibrahim, B Wiedermann
Submitted for publication to ICSE, 2009
32009
Oblivious algebraic data types
Q Ye, B Delaware
Proceedings of the ACM on Programming Languages 6 (POPL), 1-29, 2022
2022
HACCLE: metaprogramming for secure multi-party computation
Y Bao, K Sundararajah, R Malik, Q Ye, C Wagner, N Jaber, F Wang, ...
Proceedings of the 20th ACM SIGPLAN International Conference on Generative …, 2021
2021
Relational Type Theory (All Proofs)
A Stump, B Delaware, C Jenkins
arXiv preprint arXiv:2101.09655, 2021
2021
Data-driven abductive inference of library specifications
Z Zhou, R Dickerson, B Delaware, S Jagannathan
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1--29, 2021
2021
RHLE: Relational Reasoning for Existential Program Verification
R Dickerson, Q Ye, B Delaware
2020
Feature modularity in mechanized reasoning
B Delaware
2013
The system can't perform the operation now. Try again later.
Articles 1–20