Incremental Computation: What Is the Essence? - Lecture 24

Explore the fundamental concepts of incremental computation in this invited talk from the PEPM 2024 conference. Delve into the essence of incrementalization, the discrete counterpart of differentiation in calculus, and its role in efficient computation on changed inputs. Examine a systematic method for incrementalization and the Iterate-Incrementalize-Implement approach for program and algorithm design optimization. Gain insights into the power of high-level data, control, and module abstractions in developing improved algorithms and programs with precise complexities. Learn from Yanhong A. Liu of Stony Brook University as she provides a comprehensive overview of incremental computation works, historical context, and future directions in this 24-minute video presentation.