J. Gregory Malecha
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2009–2010
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ICTAC | Mechanized Verification with Sharing. | J. Gregory Malecha, Greg Morrisett |
| 2010 | POPL | Toward a verified relational database management system. | J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky |
| 2009 | ICFP | Effective interactive proofs for higher-order imperative programs. | Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky |