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:

Coming soon:

Legacy: These were the two first implementations of Adapton:

Videos

Incremental Computation with Adapton Matthew A Hammer University of Colorado, Boulder. March 2015.

University of Colorado, Boulder. March 2015. Sparse Adapton Kyle Headley ICFP Student Research Contest. September 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

Faculty

Students

Kyle Headley - University of Colorado Boulder

Nicholas Labich - University of Maryland

Alumni