Benjamin Delaware
Benjamin Delaware
Assistant Professor, Purdue University
Bestätigte E-Mail-Adresse bei purdue.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
124*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
962015
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
562013
Product lines of theorems
B Delaware, WR Cook, D Batory
Proceedings of the 2011 ACM international conference on Object oriented …, 2011
49*2011
Modular Monadic Meta-Theory
B Delaware, S Keuchel, T Schrijvers, BCS Oliveira
The 18th ACM SIGPLAN International Conference on Functional Programming, 2013
312013
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
162017
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
10*2019
A Verified Protocol Buffer Compiler
Q Ye, B Delaware
Certified Proofs and Programs, 2019
62019
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
52019
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
52010
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
32017
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
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
12020
Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
K Rahmani, K Nagar, B Delaware, S Jagannathan
arXiv preprint arXiv:2103.05573, 2021
2021
Relational Type Theory (All Proofs)
A Stump, B Delaware, C Jenkins
arXiv preprint arXiv:2101.09655, 2021
2021
HACCLE: An Ecosystem for Building Secure Multi-Party Computations
Y Bao, K Sundararajah, R Malik, Q Ye, C Wagner, F Wang, MH Ameri, ...
arXiv preprint arXiv:2009.01489, 2020
2020
RHLE: Relational Reasoning for Existential Program Verification
R Dickerson, Q Ye, B Delaware
arXiv e-prints, arXiv: 2002.02904, 2020
2020
Feature modularity in mechanized reasoning
B Delaware
2013
BAGAHK: Developing Sound and Complete Decision Procedures in Coq
B Delaware
Washington University, 2007
2007
Tailored Termination for Optimal Supercompilation
A Askar, B Delaware
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20