A program P is incremental if repeating P 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:

• Adapton for Rust:
  • Rust documentation for
  • Adapton Crate

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

• Adapton for OCaml (for OOPSLA 2015 paper)
• Adapton for OCaml (legacy, circa 2014)
• Adapton for Python (legacy, circa 2014)

Contributed:

• Adapton for Racket
  

Paper Drafts

• Implementation: github.com/Adapton/fungi-lang.rust
• Full citation: HammerDHNE (via DBLP)

Publications

• Full citation: HammerDHLFHH15 (via DBLP)
• Artifact: Guide, VM Image
  

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.

• Full citation: HammerKHF14 (via DBLP)
• Artifact: Artifact Website

Matthew A. Hammer, Yit Phang Khoo, Michael Hicks and Jeffrey S. Foster
Programming Language Design and Implementation (PLDI 2014).
Edinburgh, Scotland. June 2014.

Videos

Incremental Computation with Adapton (May 2017)

Sparse Adapton (Sept 2015)

Incremental Computation with Adapton (March 2015)

People

CU Programming Languages and Verification	Programming Languages at University of Maryland

Faculty

• Matthew A Hammer - University of Colorado Boulder
• Joshua Dunfield - University of British Columbia
• Michael Hicks - University of Maryland
• Jeff Foster - University of Maryland
• David Van Horn - University of Maryland

Students

• Kyle Headley - University of Colorado Boulder
• Monal Narasimhamurthy - University of Colorado Boulder
• Jared Wright - University of Colorado Boulder

Alumni

• Dimitrios J. Economou - University of Colorado Boulder
• Nicholas Labich - University of Maryland
• Khoo Yit Phang - MathWorks
• James Parker - University of Maryland, research programmer

Funding Acknowledgments

• Facebook Faculty Research Award (Matthew A. Hammer, 2017)
• Online Verification-Validation (NSF project, Sept 2016--2019)
• Mozilla Research Grant (Matthew A. Hammer, 2015)