Travelled to:1 × Ireland
1 × Japan
1 × The Netherlands
1 × United Kingdom
3 × USA
Collaborated with:U.A.Acar Y.Chen Chris Martens D.V.Horn C.Omar Ian Voysey J.Dunfield J.S.Foster B.E.Chang Kevin Liao Andrew Miller 0001 Y.P.Khoo M.Hicks G.Neis R.Chugh M.Hilton J.Aldrich K.Headley N.Labich M.W.Hicks
Talks about:comput (6) adjust (4) self (4) increment (2) function (2) calculus (2) program (2) languag (2) compos (2) type (2)
Person: Matthew A. Hammer
DBLP: Hammer:Matthew_A=
Contributed to:
2015
2014
201120112009
2008
2016
2017
201720192019Wrote 11 papers:
- OOPSLA-2015-HammerDHLFHH #incremental
- Incremental computation with names (MAH, JD, KH, NL, JSF, MWH, DVH), pp. 748–766.
- PLDI-2014-HammerKHF #adaptation #composition #incremental #named
- Adapton: composable, demand-driven incremental computation (MAH, YPK, MH, JSF), p. 18.
- ICFP-2011-ChenDHA #functional #self #source code
- Implicit self-adjusting computation for purely functional programs (YC, JD, MAH, UAA), pp. 129–141.
- OOPSLA-2011-HammerNCA #self #stack
- Self-adjusting stack machines (MAH, GN, YC, UAA), pp. 753–772.
- PLDI-2009-HammerAC #named #self
- CEAL: a C-based language for self-adjusting computation (MAH, UAA, YC), pp. 25–37.
- ISMM-2008-HammerA #memory management #self
- Memory management for self-adjusting computation (MAH, UAA), pp. 51–60.
- GPCE-2016-HammerCH #online
- A vision for online verification-validation (MAH, BYEC, DVH), pp. 190–201.
- FDG-2017-MartensH #game studies #interface #semantics #towards
- Languages of play: towards semantic foundations for game interfaces (CM, MAH), p. 10.
- POPL-2017-OmarVHAH #bidirectional #calculus #editing #named
- Hazelnut: a bidirectionally typed structure editor calculus (CO, IV, MH, JA, MAH), pp. 86–99.
- PLDI-2019-LiaoHM #calculus #composition #encryption #named
- ILC: a calculus for composable, computational cryptography (KL, MAH, AM0), pp. 640–654.
- POPL-2019-OmarVCH #functional #programming
- Live functional programming with typed holes (CO, IV, RC, MAH), p. 32.