Travelled to:1 × India
1 × Italy
1 × The Netherlands
2 × USA
Collaborated with:W.R.Cook D.S.Batory T.Schrijvers B.C.d.S.Oliveira J.Wiegley C.Pit-Claudel J.Gross A.Chlipala S.Keuchel Kia Rahmani K.Nagar S.Jagannathan
Talks about:theori (2) meta (2) synthesi (1) composit (1) abstract (1) theorem (1) product (1) modular (1) generat (1) databas (1)
Person: Benjamin Delaware
DBLP: Delaware:Benjamin
Contributed to:
2015
20132013
2011
2009
20172019Wrote 7 papers:
- POPL-2015-DelawarePGC #data type #deduction #named #proving #synthesis
- Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant (BD, CPC, JG, AC), pp. 689–700.
- ICFP-2013-DelawareKSO #composition #monad
- Modular monadic meta-theory (BD, SK, TS, BCdSO), pp. 319–330.
- POPL-2013-DelawareOS
- Meta-theory à la carte (BD, BCdSO, TS), pp. 207–218.
- OOPSLA-2011-DelawareCB #product line #theorem
- Product lines of theorems (BD, WRC, DSB), pp. 595–608.
- ESEC-FSE-2009-DelawareCB #composition
- Fitting the pieces together: a machine-checked model of safe composition (BD, WRC, DSB), pp. 243–252.
- Haskell-2017-WiegleyD #coq #haskell #performance #using
- Using Coq to write fast and correct Haskell (JW, BD), pp. 52–62.
- OOPSLA-2019-RahmaniNDJ #consistency #database #generative #named #testing
- CLOTHO: directed test generation for weakly consistent database systems (KR, KN, BD, SJ), p. 28.