J. Gregory Malecha

Publication Activity (10 Years)

Years Active: 2009-2010
Publications (10 Years): 0

Publications

J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky
Toward a verified relational database management system. POPL (2010)
J. Gregory Malecha, Greg Morrisett
Mechanized Verification with Sharing. ICTAC (2010)
Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky
Effective interactive proofs for higher-order imperative programs. ICFP (2009)