Benjamin Delaware

Benjamin Delaware

Purdue University - West Lafayette / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1464267
person_outline Benjamin Delaware's MOST POPULAR ARTICLES
1-) Fiat: Deductive synthesis of abstract data types in a proof assistantB Delaware, C Pit--Claudel, J Gross, A ChlipalaProc. POPL 2015, 20151332015
2-) Fitting the pieces together: a machine-checked model of safe compositionB Delaware, WR Cook, D BatoryProceedings of the the 7th joint meeting of the European software …, 2009131*2009
3-) Meta-Theory a la carteB Delaware, B C. d. S. Oliveira, T SchrijversProceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013712013
4-) Product lines of theoremsB Delaware, WR Cook, D BatoryProceedings of the 2011 ACM international conference on Object oriented …, 201159*2011
5-) Narcissus: correct-by-construction derivation of decoders and encoders from binary formatsB Delaware, S Suriyakarn, C Pit-Claudel, Q Ye, A ChlipalaProceedings of the ACM on Programming Languages 3 (ICFP), 82, 201946*2019