Matthew A. Hammer

Matthew Hammer (Spring 2010)

I am a postdoc researcher studying topics in programming languages. I work with Michael Hicks, Jeff Foster and the PLUM group at the University of Maryland.

Current Research

Research on programming languages has given us extremely useful lenses to view computational phenomena. In particular, I am currently interested in interactive computations, incremental computation and secure multi-party computation. With the help of PL lenses, I study and design special abstractions to help aid programming in these settings:

Incremental computations
consume and produce information whose content or structure changes slowly over time by small changes. In these settings, programs exploit cached work from the past to update the system's outputs more efficiently than naive re-computation that is oblivious to past work.

See also: Our Adapton paper (PLDI 2014)
Incremental computation (wikipedia)

Interactive computations
reside in an open world, where future states are explored collaboratively with an external user. Incremental interactive computation generalizes the notion of incremental computation to interactive scenarios. Many prior programming-language-based approaches to incremental computation, including self-adjusting computation, assume a non-interactive model. As it turns out, efficient interactive computation requires a demand-driven approach to dynamic dependency maintenance.

See also: Our Adapton paper (PLDI 2014)
Interactive computation (wikipedia)

Secure multi-party computation
consists of computation performed by mutually-distrusting agents; together, they cooperatively compute functions over their private data, while only ever learning certain prearranged results and while remaining otherwise oblivious to the computational steps necessary to produce them.

See also: Our Wysteria paper (OAKLAND 2014)
Our Knowledge Inference paper (PLAS 2013)
Secure multi-party computation (wikipedia)

Contact

email: hammer at cs dot umd dot edu
post: Dept. of Computer Science
University of Maryland
A.V. Williams Building
College Park, MD 20742

Short biography

Previously, I was a Ph.D. student of Umut Acar at the University of Chicago, as well as a visiting student at the Max Planck Institute for Software Systems in Kaiserslautern, Germany, where I lived for several years.

I got my B.S. in 2005 from the University of Wisconsin with a major and honors in computer science. I've spent summers at IBM Research in Almaden and Intel Research in Santa Clara.

Publications

( See also: DBLP1, DBLP2, Google Scholar )