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:

Coming soon:


Legacy: These were the two first implementations of Adapton:

Videos

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

Alumni