Travelled to:1 × Spain
1 × United Kingdom
Collaborated with:G.Morrisett A.Shinnar R.Wisnesky A.Chlipala
Talks about:interact (1) program (1) databas (1) verifi (1) toward (1) system (1) higher (1) effect (1) relat (1) proof (1)
Person: J. Gregory Malecha
DBLP: Malecha:J=_Gregory
Contributed to:
2010
2009Wrote 2 papers:
- POPL-2010-MalechaMSW #database #relational #towards
- Toward a verified relational database management system (JGM, GM, AS, RW), pp. 237–248.
- ICFP-2009-ChlipalaMMSW #effectiveness #higher-order #imperative #interactive #proving #source code
- Effective interactive proofs for higher-order imperative programs (AC, JGM, GM, AS, RW), pp. 79–90.