ask others

Matthew A. Hammer

Matthew Hammer

> Home > Persons

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

see FAQ

What is the meaning of the colors in the publication lists?

2018
[i12]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1805-00155
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1805-00155
Cyrus Omar, Ian Voysey, Ravi Chugh, Matthew A. Hammer:
Live Functional Programming with Typed Holes. CoRR abs/1805.00155 (2018)
[i11]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1808-07826
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1808-07826
Matthew A. Hammer, Joshua Dunfield, Kyle Headley, Monal Narasimhamurthy, Dimitrios J. Economou:
Fungi: Typed incremental computation with names. CoRR abs/1808.07826 (2018)
2017
[c13]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/fdg/MartensH17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fdg/MartensH17
Chris Martens, Matthew A. Hammer:
Languages of play: towards semantic foundations for game interfaces. FDG 2017: 32:1-32:10
[c12]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/popl/OmarVHAH17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/OmarVHAH17
Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer:
Hazelnut: a bidirectionally typed structure editor calculus. POPL 2017: 86-99
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/snapl/OmarVHSGAH17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/snapl/OmarVHSGAH17
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]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/MartensH17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/MartensH17
Chris Martens, Matthew A. Hammer:
Languages of Play: Towards semantic foundations for game interfaces. CoRR abs/1703.05410 (2017)
[i9]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/OmarVHSGAH17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/OmarVHSGAH17
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]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/gpce/HammerCH16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gpce/HammerCH16
Matthew A. Hammer, Bor-Yuh Evan Chang, David Van Horn:
A vision for online verification-validation. GPCE 2016: 190-201
[i8]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/OmarVHAH16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/OmarVHAH16
Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer:
Hazelnut: A Bidirectionally Typed Structure Editor Calculus. CoRR abs/1607.04180 (2016)
[i7]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/HeadleyH16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/HeadleyH16
Kyle Headley, Matthew A. Hammer:
The Random Access Zipper: Simple, Purely-Functional Sequences. CoRR abs/1608.06009 (2016)
[i6]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/HammerCH16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/HammerCH16
Matthew A. Hammer, Bor-Yuh Evan Chang, David Van Horn:
A Vision for Online Verification-Validation. CoRR abs/1608.06012 (2016)
[i5]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/FisherHBM16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/FisherHBM16
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]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/HammerD16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/HammerD16
Matthew A. Hammer, Joshua Dunfield:
Typed Adapton: Refinement types for nominal memoization. CoRR abs/1610.00097 (2016)
[i3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/dagstuhl-reports/DemetrescuEHK16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/DemetrescuEHK16
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]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/oopsla/HammerDHLFHH15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/oopsla/HammerDHLFHH15
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]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/HammerDHLFHH15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/HammerDHLFHH15
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/ChenDHA14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/ChenDHA14
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]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/pldi/HammerKHF14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pldi/HammerKHF14
Matthew A. Hammer, Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster:
Adapton: composable, demand-driven incremental computation. PLDI 2014: 156-166
[c7]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/sp/RastogiHH14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sp/RastogiHH14
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]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/pldi/RastogiMHH13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pldi/RastogiMHH13
Aseem Rastogi, Piotr Mardziel, Michael Hicks, Matthew A. Hammer:
Knowledge inference for optimizing secure multi-party computation. PLAS 2013: 3-14
2011
[c5]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icfp/ChenDHA11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icfp/ChenDHA11
Yan Chen, Joshua Dunfield, Matthew A. Hammer, Umut A. Acar:
Implicit self-adjusting computation for purely functional programs. ICFP 2011: 129-141
[c4]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/oopsla/HammerNCA11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/oopsla/HammerNCA11
Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar:
Self-adjusting stack machines. OOPSLA 2011: 753-772
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1108-3265
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1108-3265
Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar:
Self-Adjusting Stack Machines. CoRR abs/1108.3265 (2011)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c3]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/pldi/HammerAC09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pldi/HammerAC09
Matthew A. Hammer, Umut A. Acar, Yan Chen:
CEAL: a C-based language for self-adjusting computation. PLDI 2009: 25-37
2008
[c2]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/iwmm/HammerA08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iwmm/HammerA08
Matthew A. Hammer, Umut A. Acar:
Memory management for self-adjusting computation. ISMM 2008: 51-60
2007
[c1]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/popl/HammerARG07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/HammerARG07
Matthew A. Hammer, Umut A. Acar, Mohan Rajagopalan, Anwar M. Ghuloum:
A proposal for parallel self-adjusting computation. DAMP 2007: 3-9
2006
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ibmsj/DeenHBETK06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ibmsj/DeenHBETK06
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

see FAQ

maintained by

at