Self-adjusting computation: (an overview)
UA Acar - Proceedings of the 2009 ACM SIGPLAN workshop on …, 2009 - dl.acm.org
Many applications need to respond to incremental modifications to data. Being incremental,
such modification often require incremental modifications to the output, making it possible to …
such modification often require incremental modifications to the output, making it possible to …
CEAL: a C-based language for self-adjusting computation
MA Hammer, UA Acar, Y Chen - Proceedings of the 30th ACM SIGPLAN …, 2009 - dl.acm.org
Self-adjusting computation offers a language-centric approach to writing programs that can
automatically respond to modifications to their data (eg, inputs). Except for several domain …
automatically respond to modifications to their data (eg, inputs). Except for several domain …
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 …
iThreads: A threading library for parallel incremental computation
Incremental computation strives for efficient successive runs of applications by re-executing
only those parts of the computation that are affected by a given input change instead of …
only those parts of the computation that are affected by a given input change instead of …
C3: Lightweight incrementalized MCMC for probabilistic programs using continuations and callsite caching
D Ritchie, A Stuhlmüller… - Artificial Intelligence and …, 2016 - proceedings.mlr.press
Lightweight, source-to-source transformation approaches to implementing MCMC for
probabilistic programming languages are popular for their simplicity, support of existing …
probabilistic programming languages are popular for their simplicity, support of existing …
Type-directed automatic incrementalization
Y Chen, J Dunfield, UA Acar - ACM SIGPLAN Notices, 2012 - dl.acm.org
Application data often changes slowly or incrementally over time. Since incremental
changes to input often result in only small changes in output, it is often feasible to respond to …
changes to input often result in only small changes in output, it is often feasible to respond to …
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 …
Traceable data types for self-adjusting computation
Self-adjusting computation provides an evaluation model where computations can respond
automatically to modifications to their data by using a mechanism for propagating …
automatically to modifications to their data by using a mechanism for propagating …
A cost semantics for self-adjusting computation
Self-adjusting computation is an evaluation model in which programs can respond efficiently
to small changes to their input data by using a change-propagation mechanism that updates …
to small changes to their input data by using a change-propagation mechanism that updates …
Incremental parallel and distributed systems
PK Bhatotia - 2015 - publikationen.sulb.uni-saarland.de
Incremental computation strives for efficient successive runs of applications by re-executing
only those parts of the computation that are affected by a given input change instead of …
only those parts of the computation that are affected by a given input change instead of …