Matthew A. Hammer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
7
Active years
2007–2019
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | PLDI | ILC: a calculus for composable, computational cryptography. | Kevin Liao, Matthew A. Hammer, Andrew Miller |
| 2017 | FDG | Languages of play: towards semantic foundations for game interfaces. | Chris Martens, Matthew A. Hammer |
| 2017 | POPL | Hazelnut: a bidirectionally typed structure editor calculus. | Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer |
| 2016 | GPCE | A vision for online verification-validation. | Matthew A. Hammer, Bor-Yuh Evan Chang, David Van Horn |
| 2015 | OOPSLA | Incremental computation with names. | Matthew A. Hammer, Jana Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael W. Hicks, David Van Horn |
| 2014 | PLDI | Adapton: composable, demand-driven incremental computation. | Matthew A. Hammer, Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster |
| 2014 | SP | Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations. | Aseem Rastogi, Matthew A. Hammer, Michael Hicks |
| 2013 | PLDI | Knowledge inference for optimizing secure multi-party computation. | Aseem Rastogi, Piotr Mardziel, Michael Hicks, Matthew A. Hammer |
| 2011 | ICFP | Implicit self-adjusting computation for purely functional programs. | Yan Chen, Jana Dunfield, Matthew A. Hammer, Umut A. Acar |
| 2011 | OOPSLA | Self-adjusting stack machines. | Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar |
| 2009 | PLDI | CEAL: a C-based language for self-adjusting computation. | Matthew A. Hammer, Umut A. Acar, Yan Chen |
| 2007 | POPL | A proposal for parallel self-adjusting computation. | Matthew A. Hammer, Umut A. Acar, Mohan Rajagopalan, Anwar M. Ghuloum |