Matthew A. Hammer
Matthew Hammer
Person information
- affiliation: University of Colorado Boulder, CO, USA
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2017
- [c13]Chris Martens, Matthew A. Hammer:
Languages of play: towards semantic foundations for game interfaces. FDG 2017: 32:1-32:10 - [c12]Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer:
Hazelnut: a bidirectionally typed structure editor calculus. POPL 2017: 86-99 - [c11]Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer:
Toward Semantic Foundations for Program Editors. SNAPL 2017: 11:1-11:12 - [i10]Chris Martens, Matthew A. Hammer:
Languages of Play: Towards semantic foundations for game interfaces. CoRR abs/1703.05410 (2017) - [i9]Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer:
Toward Semantic Foundations for Program Editors. CoRR abs/1703.08694 (2017) - 2016
- [c10]Matthew A. Hammer, Bor-Yuh Evan Chang, David Van Horn:
A vision for online verification-validation. GPCE 2016: 190-201 - [i8]Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer:
Hazelnut: A Bidirectionally Typed Structure Editor Calculus. CoRR abs/1607.04180 (2016) - [i7]Kyle Headley, Matthew A. Hammer:
The Random Access Zipper: Simple, Purely-Functional Sequences. CoRR abs/1608.06009 (2016) - [i6]Matthew A. Hammer, Bor-Yuh Evan Chang, David Van Horn:
A Vision for Online Verification-Validation. CoRR abs/1608.06012 (2016) - [i5]Dakota Fisher, Matthew A. Hammer, William E. Byrd, Matthew Might:
miniAdapton: A Minimal Implementation of Incremental Computation in Scheme. CoRR abs/1609.05337 (2016) - [i4]Matthew A. Hammer, Joshua Dunfield:
Typed Adapton: Refinement types for nominal memoization. CoRR abs/1610.00097 (2016) - [i3]Camil Demetrescu, Sebastian Erdweg, Matthew A. Hammer, Shriram Krishnamurthi:
Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402). Dagstuhl Reports 6(10): 1-12 (2016) - 2015
- [c9]Matthew A. Hammer, Joshua Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael W. Hicks, David Van Horn:
Incremental computation with names. OOPSLA 2015: 748-766 - [i2]Matthew A. Hammer, Joshua Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael Hicks, David Van Horn:
Incremental Computation with Names. CoRR abs/1503.07792 (2015) - 2014
- [j2]Yan Chen, Joshua Dunfield, Matthew A. Hammer, Umut A. Acar:
Implicit self-adjusting computation for purely functional programs. J. Funct. Program. 24(1): 56-112 (2014) - [c8]Matthew A. Hammer, Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster:
Adapton: composable, demand-driven incremental computation. PLDI 2014: 156-166 - [c7]Aseem Rastogi, Matthew A. Hammer, Michael Hicks:
Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations. IEEE Symposium on Security and Privacy 2014: 655-670 - 2013
- [c6]Aseem Rastogi, Piotr Mardziel, Michael Hicks, Matthew A. Hammer:
Knowledge inference for optimizing secure multi-party computation. PLAS 2013: 3-14 - 2011
- [c5]Yan Chen, Joshua Dunfield, Matthew A. Hammer, Umut A. Acar:
Implicit self-adjusting computation for purely functional programs. ICFP 2011: 129-141 - [c4]Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar:
Self-adjusting stack machines. OOPSLA 2011: 753-772 - [i1]Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar:
Self-Adjusting Stack Machines. CoRR abs/1108.3265 (2011)
2000 – 2009
- 2009
- [c3]Matthew A. Hammer, Umut A. Acar, Yan Chen:
CEAL: a C-based language for self-adjusting computation. PLDI 2009: 25-37 - 2008
- [c2]
- 2007
- [c1]Matthew A. Hammer, Umut A. Acar, Mohan Rajagopalan, Anwar M. Ghuloum:
A proposal for parallel self-adjusting computation. DAMP 2007: 3-9 - 2006
- [j1]Glenn Deen, Matthew Hammer, John Bethencourt, Iris Eiron, John C. Thomas, James H. Kaufman:
Running Quake II on a grid. IBM Systems Journal 45(1): 21-44 (2006)
Coauthor Index
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2017-12-21 22:09 CET by the dblp team