Matthew A. Hammer

Matthew Hammer (Spring 2010)

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

Current Research

I study certain interesting computational phenomena, both formally and empirically; these consist of secure multi-party computation and interactive incremental computation. Here is how I think of these concepts:

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)

Incremental computations
consume and produce information whose content or structure changes slowly over time by small changes. In these settings, the central concern is exploiting work done in the past to update the systems'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 behavior and system state are explored collaboratively with an external user or agent (e.g., a human being). Incremental interactive computation generalizes the notion of incremental computation to these interactive scenarios.

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


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.

Recent drafts


( See also: DBLP1, DBLP2, Google Scholar )