Adapton: Composable, demand-driven incremental computation
Many researchers have proposed programming languages that support incremental
computation (IC), which allows programs to be efficiently re-executed after a small change to …
computation (IC), which allows programs to be efficiently re-executed after a small change to …
Adaptive functional programming
We present techniques for incremental computing by introducing adaptive functional
programming. As an adaptive program executes, the underlying system represents the data …
programming. As an adaptive program executes, the underlying system represents the data …
Imperative self-adjusting computation
Self-adjusting computation enables writing programs that can automatically and efficiently
respond to changes to their data (eg, inputs). The idea behind the approach is to store all …
respond to changes to their data (eg, inputs). The idea behind the approach is to store all …
An experimental analysis of self-adjusting computation
Recent work on adaptive functional programming (AFP) developed techniques for writing
programs that can respond to modifications to their data by performing change propagation …
programs that can respond to modifications to their data by performing change propagation …
Incremental computation with names
MA Hammer, J Dunfield, K Headley, N Labich… - Proceedings of the …, 2015 - dl.acm.org
Over the past thirty years, there has been significant progress in developing general-
purpose, language-based approaches to incremental computation, which aims to efficiently …
purpose, language-based approaches to incremental computation, which aims to efficiently …
Two for the price of one: A model for parallel and incremental computation
Parallel or incremental versions of an algorithm can significantly outperform their
counterparts, but are often difficult to develop. Programming models that provide appropriate …
counterparts, but are often difficult to develop. Programming models that provide appropriate …
Refinement types for incremental computational complexity
With recent advances, programs can be compiled to efficiently respond to incremental input
changes. However, there is no language-level support for reasoning about the time …
changes. However, there is no language-level support for reasoning about the time …
From Batch to Stream: Automatic Generation of Online Algorithms
Online streaming algorithms, tailored for continuous data processing, offer substantial
benefits but are often more intricate to design than their offline counterparts. This paper …
benefits but are often more intricate to design than their offline counterparts. This paper …
An experimental analysis of self-adjusting computation
Dependence graphs and memoization can be used to efficiently update the output of a
program as the input changes dynamically. Recent work has studied techniques for …
program as the input changes dynamically. Recent work has studied techniques for …