Folgen
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
131*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
1242015
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
852013
Product lines of theorems
B Delaware, WR Cook, D Batory
Proceedings of the 2011 ACM international conference on Object oriented …, 2011
57*2011
Modular Monadic Meta-Theory
B Delaware, S Keuchel, T Schrijvers, BCS Oliveira
The 18th ACM SIGPLAN International Conference on Functional Programming, 2013
422013
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
39*2019
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
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020
262020
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
242017
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
202019
A Verified Protocol Buffer Compiler
Q Ye, B Delaware
Certified Proofs and Programs, 2019
202019
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
72021
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
RHLE: Modular Deductive Verification of Relational ∀∃ Properties
R Dickerson, Q Ye, MK Zhang, B Delaware
APLAS 2022, 67, 2022
62022
Oblivious algebraic data types
Q Ye, B Delaware
Proceedings of the ACM on Programming Languages 6 (POPL), 1-29, 2022
52022
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
5*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
52021
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
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
A Type-Based Approach to Divide-and-Conquer Recursion in Coq
P Abreu, B Delaware, A Hubers, C Jenkins, JG Morris, A Stump
Proceedings of the ACM on Programming Languages 7 (POPL), 61-90, 2023
22023
Feature modularity in mechanized reasoning
B Delaware
22013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20