Running Quake II on a grid. - Glenn Deen; Matthew Hammer; John Bethencourt; Iris Eiron; John C. Thomas; James H. Kaufman (IBM Syst. J., 2006)

A proposal for parallel self-adjusting computation. - Matthew A. Hammer; Umut A. Acar; Mohan Rajagopalan; Anwar M. Ghuloum (DAMP, 2007)

Memory management for self-adjusting computation. - Matthew A. Hammer; Umut A. Acar (ISMM, 2008)

CEAL: a C-based language for self-adjusting computation. - Matthew A. Hammer; Umut A. Acar; Yan Chen 001 (PLDI, 2009)

Self-adjusting stack machines. - Matthew A. Hammer; Georg Neis; Yan Chen 001; Umut A. Acar (OOPSLA, 2011)

Knowledge inference for optimizing secure multi-party computation. - Aseem Rastogi; Piotr Mardziel; Michael Hicks 001; Matthew A. Hammer (PLAS, 2013)

Adapton: composable, demand-driven incremental computation. - Matthew A. Hammer; Yit Phang Khoo; Michael Hicks 001; Jeffrey S. Foster (PLDI, 2014)

Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations. - Aseem Rastogi; Matthew A. Hammer; Michael Hicks 001 (IEEE Symposium on Security and Privacy, 2014)

Implicit self-adjusting computation for purely functional programs. - Yan Chen 001; Jana Dunfield; Matthew A. Hammer; Umut A. Acar (J. Funct. Program., 2014)

Incremental computation with names. - Matthew A. Hammer; Jana Dunfield; Kyle Headley; Nicholas Labich; Jeffrey S. Foster; Michael W. Hicks; David Van Horn (OOPSLA, 2015)

A vision for online verification-validation. - Matthew A. Hammer; Bor-Yuh Evan Chang; David Van Horn (GPCE, 2016)

The Random Access Zipper - Simple, Persistent Sequences. - Kyle Headley; Matthew A. Hammer (TFP, 2016)

miniAdapton: A Minimal Implementation of Incremental Computation in Scheme. - Dakota Fisher; Matthew A. Hammer; William E. Byrd; Matthew Might (CoRR, 2016)

Typed Adapton: Refinement types for nominal memoization. - Matthew A. Hammer; Jana Dunfield (CoRR, 2016)

The Random Access Zipper: Simple, Purely-Functional Sequences. - Kyle Headley; Matthew A. Hammer (CoRR, 2016)

Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402). - Camil Demetrescu; Sebastian Erdweg; Matthew A. Hammer; Shriram Krishnamurthi (Dagstuhl Reports, 2016)

Languages of play: towards semantic foundations for game interfaces. - Chris Martens 001; Matthew A. Hammer (FDG, 2017)

Hazelnut: a bidirectionally typed structure editor calculus. - Cyrus Omar; Ian Voysey; Michael Hilton; Jonathan Aldrich; Matthew A. Hammer (POPL, 2017)

Toward Semantic Foundations for Program Editors. - Cyrus Omar; Ian Voysey; Michael Hilton; Joshua Sunshine; Claire Le Goues; Jonathan Aldrich; Matthew A. Hammer (SNAPL, 2017)

Fungi: Typed incremental computation with names. - Matthew A. Hammer; Jana Dunfield; Kyle Headley; Monal Narasimhamurthy; Dimitrios J. Economou (CoRR, 2018)

ILC: A Calculus for Composable, Computational Cryptography. - Kevin Liao; Matthew A. Hammer; Andrew Miller 001 (IACR Cryptol. ePrint Arch., 2019)

Live functional programming with typed holes. - Cyrus Omar; Ian Voysey; Ravi Chugh; Matthew A. Hammer (Proc. ACM Program. Lang., 2019)