TY - GEN
T1 - Incremental Computation
T2 - 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, in affiliation with the annual Symposium on Principles of Programming Languages, POPL 2024
AU - Liu, Yanhong A.
N1 - Publisher Copyright:
© 2024 Copyright held by the owner/author(s).
PY - 2024/1/11
Y1 - 2024/1/11
N2 - Incremental computation aims to compute more efficiently on changed input by reusing previously computed results. We give a high-level overview of works on incremental computation, and highlight the essence underlying all of them, which we call incrementalization-The discrete counterpart of differentiation in calculus. We review the gist of a systematic method for incrementalization, and a systematic method centered around it, called Iterate-Incrementalize-Implement, for program design and optimization, as well as algorithm design and optimization. At a meta-level, with historical contexts and for future directions, we stress the power of high-level data, control, and module abstractions in developing new and better algorithms and programs as well as their precise complexities.
AB - Incremental computation aims to compute more efficiently on changed input by reusing previously computed results. We give a high-level overview of works on incremental computation, and highlight the essence underlying all of them, which we call incrementalization-The discrete counterpart of differentiation in calculus. We review the gist of a systematic method for incrementalization, and a systematic method centered around it, called Iterate-Incrementalize-Implement, for program design and optimization, as well as algorithm design and optimization. At a meta-level, with historical contexts and for future directions, we stress the power of high-level data, control, and module abstractions in developing new and better algorithms and programs as well as their precise complexities.
KW - Algorithm Design and Optimization
KW - High-Level Abstractions
KW - Incrementalization
KW - Program Design and Optimization
KW - ncremental Computation
UR - https://www.scopus.com/pages/publications/85182917622
U2 - 10.1145/3635800.3637447
DO - 10.1145/3635800.3637447
M3 - Conference contribution
AN - SCOPUS:85182917622
T3 - PEPM 2024 - Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Co-located with: POPL 2024
SP - 39
EP - 52
BT - PEPM 2024 - Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Co-located with
A2 - Keller, Gabriele
A2 - Wang, Meng
PB - Association for Computing Machinery, Inc
Y2 - 16 January 2024
ER -