Matthew A. Hammer

Publication Activity (10 Years)

Years Active: 2007-2019
Publications (10 Years): 18

Top Topics

Quantifier Elimination

American Football

Functional Programming

Semantically Equivalent

Top Venues

IEEE Symposium on Security and Privacy

Publications

Kevin Liao, Matthew A. Hammer, Andrew Miller
ILC: A Calculus for Composable, Computational Cryptography. IACR Cryptol. ePrint Arch. 2019 (2019)
Cyrus Omar, Ian Voysey, Ravi Chugh, Matthew A. Hammer
Live functional programming with typed holes. Proc. ACM Program. Lang. 3 (POPL) (2019)
Kevin Liao, Matthew A. Hammer, Andrew Miller
ILC: a calculus for composable, computational cryptography. PLDI (2019)
Matthew A. Hammer, Jana Dunfield, Kyle Headley, Monal Narasimhamurthy, Dimitrios J. Economou
Fungi: Typed incremental computation with names. CoRR (2018)
Cyrus Omar, Ian Voysey, Ravi Chugh, Matthew A. Hammer
Live Functional Programming with Typed Holes. CoRR (2018)
Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer
Toward Semantic Foundations for Program Editors. SNAPL (2017)
Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer
Toward Semantic Foundations for Program Editors. CoRR (2017)
Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer
Hazelnut: a bidirectionally typed structure editor calculus. POPL (2017)
Chris Martens, Matthew A. Hammer
Languages of play: towards semantic foundations for game interfaces. FDG (2017)
Chris Martens, Matthew A. Hammer
Languages of Play: Towards semantic foundations for game interfaces. CoRR (2017)
Kyle Headley, Matthew A. Hammer
The Random Access Zipper: Simple, Purely-Functional Sequences. CoRR (2016)
Matthew A. Hammer, Bor-Yuh Evan Chang, David Van Horn
A vision for online verification-validation. GPCE (2016)
Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer
Hazelnut: A Bidirectionally Typed Structure Editor Calculus. CoRR (2016)
Matthew A. Hammer, Jana Dunfield
Typed Adapton: Refinement types for nominal memoization. CoRR (2016)
Dakota Fisher, Matthew A. Hammer, William E. Byrd, Matthew Might
miniAdapton: A Minimal Implementation of Incremental Computation in Scheme. CoRR (2016)
Kyle Headley, Matthew A. Hammer
The Random Access Zipper - Simple, Persistent Sequences. TFP (2016)
Camil Demetrescu, Sebastian Erdweg, Matthew A. Hammer, Shriram Krishnamurthi
Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402). Dagstuhl Reports 6 (10) (2016)
Matthew A. Hammer, Bor-Yuh Evan Chang, David Van Horn
A Vision for Online Verification-Validation. CoRR (2016)
Matthew A. Hammer, Jana Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael W. Hicks, David Van Horn
Incremental computation with names. OOPSLA (2015)
Matthew A. Hammer, Jana Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael Hicks, David Van Horn
Incremental Computation with Names. CoRR (2015)
Matthew A. Hammer, Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster
Adapton: composable, demand-driven incremental computation. PLDI (2014)
Aseem Rastogi, Matthew A. Hammer, Michael Hicks
Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations. IEEE Symposium on Security and Privacy (2014)
Yan Chen, Jana Dunfield, Matthew A. Hammer, Umut A. Acar
Implicit self-adjusting computation for purely functional programs. J. Funct. Program. 24 (1) (2014)
Aseem Rastogi, Piotr Mardziel, Michael Hicks, Matthew A. Hammer
Knowledge inference for optimizing secure multi-party computation. PLAS (2013)
Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar
Self-adjusting stack machines. OOPSLA (2011)
Yan Chen, Jana Dunfield, Matthew A. Hammer, Umut A. Acar
Implicit self-adjusting computation for purely functional programs. ICFP (2011)
Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar
Self-Adjusting Stack Machines CoRR (2011)
Matthew A. Hammer, Umut A. Acar, Yan Chen
CEAL: a C-based language for self-adjusting computation. PLDI (2009)
Matthew A. Hammer, Umut A. Acar
Memory management for self-adjusting computation. ISMM (2008)
Matthew A. Hammer, Umut A. Acar, Mohan Rajagopalan, Anwar M. Ghuloum
A proposal for parallel self-adjusting computation. DAMP (2007)