Adapton: Composable, demand-driven incremental computation

MA Hammer, KY Phang, M Hicks, JS Foster - ACM SIGPLAN Notices, 2014 - dl.acm.org
Many researchers have proposed programming languages that support incremental
computation (IC), which allows programs to be efficiently re-executed after a small change to …

Adaptive functional programming

UA Acar, GE Blelloch, R Harper - ACM Transactions on Programming …, 2006 - dl.acm.org
We present techniques for incremental computing by introducing adaptive functional
programming. As an adaptive program executes, the underlying system represents the data …

[图书][B] Large scale and big data: Processing and management

S Sakr, M Gaber - 2014 - books.google.com
Large Scale and Big Data: Processing and Management provides readers with a central
source of reference on the data management techniques currently available for large-scale …

Imperative self-adjusting computation

UA Acar, A Ahmed, M Blume - Proceedings of the 35th annual ACM …, 2008 - dl.acm.org
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 …

An experimental analysis of self-adjusting computation

UA Acar, GE Blelloch, M Blume, R Harper… - ACM Transactions on …, 2009 - dl.acm.org
Recent work on adaptive functional programming (AFP) developed techniques for writing
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 …

Two for the price of one: A model for parallel and incremental computation

S Burckhardt, D Leijen, C Sadowski, J Yi, T Ball - ACM SIGPLAN Notices, 2011 - dl.acm.org
Parallel or incremental versions of an algorithm can significantly outperform their
counterparts, but are often difficult to develop. Programming models that provide appropriate …

Refinement types for incremental computational complexity

E Çiçek, D Garg, U Acar - … and Systems: 24th European Symposium on …, 2015 - Springer
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 …

From Batch to Stream: Automatic Generation of Online Algorithms

Z Wang, S Pailoor, A Prakash, Y Wang… - Proceedings of the ACM …, 2024 - dl.acm.org
Online streaming algorithms, tailored for continuous data processing, offer substantial
benefits but are often more intricate to design than their offline counterparts. This paper …

An experimental analysis of self-adjusting computation

UA Acar, GE Blelloch, M Blume… - Proceedings of the 27th …, 2006 - dl.acm.org
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 …