Matthew A. Hammer — Publications and Recent Drafts

(See also: Google Scholar, DBLP)

Recent Drafts

• Fungi: Typed incremental computation with names
  Matthew A. Hammer, Kyle Headley, Jana Dunfield, Monal Narasimhamurthy, Dimitrios J. Economou
  
  Latest draft: July 2018

Publications

• Live Functional Programming with Typed Holes
  Cyrus Omar, Ian Voysey, Ravi Chugh, Matthew A. Hammer
  
  To appear: POPL 2019 (January)
• Languages of Play: Towards semantic foundations for game interfaces
  Chris Martens and Matthew A. Hammer
  Foundations of Digital Games Conference (FDG 2017).
  Cape Cod, Maine. August 2017.
  
• Toward Semantic Foundations for Program Editors
  Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich and Matthew A. Hammer
  The 2nd Summit on Advances in Programming Languages (SNAPL 2017).
  Monterey, California. May 2017.
  
• Hazelnut: A Bidirectionally Typed Structure Editor Calculus
  Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich and Matthew A. Hammer
  Principles of Programming Languages (POPL 2017).
  Paris, France. January 2017.
  
  Also see the Hazelgrove project for more, including the implementation in OCaml/Javascript, and the proofs in Agda.
• A Vision for Online Verification-Validation
  Matthew A. Hammer, Bor-Yuh Evan Chang and David Van Horn
  15th International Conference on Generative Programming: Concepts & Experience (GPCE 2016)
  Also see the prototype implementation in Rust.
• The Random Access Zipper: Simple, Purely-Functional Sequences
  Kyle Headley and Matthew A. Hammer
  
  Also see the implementation in OCaml.
• Incremental Computation with Names
  Matthew A. Hammer, Jana Dunfield, Kyle Headley, Nick Labich, Jeffrey S. Foster, Michael Hicks and David Van Horn
  Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2015).
  Pittsburgh, USA. October 2015.
• Adapton: Composable, Demand-driven Incremental Computation
  Matthew A. Hammer, Yit Phang Khoo, Michael Hicks and Jeffrey S. Foster
  Programming Language Design and Implementation (PLDI 2014).
  Edinburgh, Scotland. June 2014.
  
  OCaml Implementation: Code repository for Adapton
  Slides from PLDI talk: adapton-slides.pdf
• Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations
  Aseem Rastogi, Matthew A. Hammer and Michael Hicks
  35th IEEE Symposium on Security and Privacy (Oakland) 2014
  
  Implementation: Code repository for Wysteria
  Dagstuhl Presentation (December 2014): The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492)
• Implicit Self-Adjusting Computation for Purely Functional Programs
  Yan Chen, Jana Dunfield, Matthew A. Hammer and Umut A. Acar
  Journal of Functional Programming 2014.
  
  Note: This article expands and corrects our ICFP 2011 paper.
  
• Knowledge Inference for Optimizing Secure Multi-party Computation
  Aseem Rastogi, Piotr Mardziel, Matthew A. Hammer and Michael Hicks
  In Proceedings of the ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2013).
  Seattle, Washington USA. June 2013.
• Self-Adjusting Machines
  Matthew A. Hammer.
  Ph.D dissertation.
  University of Chicago. December 2012.

  ---

  My dissertation describes of the design and implementation of CEAL, a C-based language for self-adjusting computation.

  • Visit the wiki for information on the latest version of CEAL:
    https://ceal.mpi-sws.org

  Background: Self-adjusting computation is a family of related programming-language-based techniques for incremental computation. In broad terms, self-adjusting computations consume and produce dynamically-changing data, and are described by programs that appear to be conventional (non-incremental).
  

  ---

• Self-Adjusting Stack Machines
  Matthew A. Hammer, Georg Neis, Yan Chen and Umut A. Acar
  Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2011).
  Portland, Oregon USA. October 2011.
• Implicit Self-Adjusting Computation for Purely Functional Programs
  Yan Chen, Jana Dunfield, Matthew A. Hammer and Umut A. Acar
  International Conference on Functional Programming (ICFP'11).
  Tokyo, Japan. September 2011
  Note to readers: Also see our JFP 2014 article.
  
• CEAL: A C-Based Language for Self-Adjusting Computation
  Matthew A. Hammer, Umut A. Acar and Yan Chen.
  Programming Language Design and Implementation (PLDI 2009).
  Dublin, Ireland. June 2009.
• Memory Management for Self-Adjusting Computation
  Matthew A. Hammer and Umut A. Acar.
  International Symposium on Memory Management (ISMM 2008).
  Tuscon, Arizona. June 2008.
• A Proposal for Parallel Self-Adjusting Computation (ps.gz)
  Matthew Hammer, Umut A. Acar, Mohan Rajagopalan, Anwar Ghuloum
  In Proceedings of the Workshop on Declarative Aspects of Multicore Programming (DAMP 2007).
  Nice, France. January 2007.
  
• Running Quake II on a grid
  G. Deen, M. Hammer, J. Bethencourt, I. Eiron, J. Thomas, and J. H. Kaufman.
  IBM Systems Journal 2006 [ Web | PDF ].
  
  Some press: [ Technology Review | eWeek | Slashdot₁ | Slashdot₂ ]