Matthew A. Hammer

According to our database, Matthew A. Hammer authored at least 22 papers between 2006 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

Live functional programming with typed holes.

Cyrus Omar, Ian Voysey, Ravi Chugh, Matthew A. Hammer

Proc. ACM Program. Lang., 2019

ILC: A Calculus for Composable, Computational Cryptography.

Kevin Liao, Matthew A. Hammer, Andrew Miller

IACR Cryptol. ePrint Arch., 2019

2018

Fungi: Typed incremental computation with names.

Matthew A. Hammer, Jana Dunfield, Kyle Headley, Monal Narasimhamurthy, Dimitrios J. Economou

CoRR, 2018

2017

Toward Semantic Foundations for Program Editors.

Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Hazelnut: a bidirectionally typed structure editor calculus.

Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Languages of play: towards semantic foundations for game interfaces.

Chris Martens, Matthew A. Hammer

Proceedings of the International Conference on the Foundations of Digital Games, 2017

2016

Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402).

Camil Demetrescu, Sebastian Erdweg, Matthew A. Hammer, Shriram Krishnamurthi

Dagstuhl Reports, 2016

The Random Access Zipper: Simple, Purely-Functional Sequences.

Kyle Headley, Matthew A. Hammer

CoRR, 2016

Typed Adapton: Refinement types for nominal memoization.

Matthew A. Hammer, Jana Dunfield

CoRR, 2016

miniAdapton: A Minimal Implementation of Incremental Computation in Scheme.

Dakota Fisher, Matthew A. Hammer, William E. Byrd, Matthew Might

CoRR, 2016

The Random Access Zipper - Simple, Persistent Sequences.

Kyle Headley, Matthew A. Hammer

Proceedings of the Trends in Functional Programming - 17th International Conference, 2016

A vision for online verification-validation.

Matthew A. Hammer, Bor-Yuh Evan Chang, David Van Horn

Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016

2015

Incremental computation with names.

Matthew A. Hammer, Jana Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael W. Hicks, David Van Horn

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2014

Implicit self-adjusting computation for purely functional programs.

Yan Chen, Jana Dunfield, Matthew A. Hammer, Umut A. Acar

J. Funct. Program., 2014

Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations.

Aseem Rastogi, Matthew A. Hammer, Michael Hicks

Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014

Adapton: composable, demand-driven incremental computation.

Matthew A. Hammer, Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013

Knowledge inference for optimizing secure multi-party computation.

Aseem Rastogi, Piotr Mardziel, Michael Hicks, Matthew A. Hammer

Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, 2013

2011

Self-adjusting stack machines.

Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2009

CEAL: a C-based language for self-adjusting computation.

Matthew A. Hammer, Umut A. Acar, Yan Chen

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2008

Memory management for self-adjusting computation.

Matthew A. Hammer, Umut A. Acar

Proceedings of the 7th International Symposium on Memory Management, 2008

2007

A proposal for parallel self-adjusting computation.

Matthew A. Hammer, Umut A. Acar, Mohan Rajagopalan, Anwar M. Ghuloum

Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, 2007

2006

Running Quake II on a grid.

Glenn Deen, Matthew Hammer, John Bethencourt, Iris Eiron, John C. Thomas, James H. Kaufman

IBM Syst. J., 2006