Adapton

Programming Language Abstractions for Incremental Computation

A computation is incremental if repeating it with a changed input is faster than from-scratch recomputation. Incremental computations are ubiquitous in everyday computer systems.

Adapton offers programming language abstractions for incremental computation.

Code

Latest: This is the latest implementation of Adapton:

Legacy: These were the first implementations of Adapton and Nominal Adapton:

Contributed:

Videos

Incremental Computation with Adapton (May 2017)

Matthew A Hammer
Facebook (PLEMM), Redwood City, CA. May 2017.

Sparse Adapton (Sept 2015)

Kyle Headley
ICFP Student Research Contest. September 2015.

Incremental Computation with Adapton (March 2015)

Matthew A Hammer
University of Colorado, Boulder. March 2015.

Publications

Incremental Computation with Names

Matthew A. Hammer, Joshua Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael Hicks, 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.

People

CU Programming Languages and Verification Programming Languages at University of Maryland

Faculty

Students

Alumni