Matthew A. Hammer

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