PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / PLDI 2017 (series) / IC 2017 (series) / First Workshop on Incremental Computing /
Tuning Data and Control Structures for Incremental Computation
Thu 22 Jun 2017 17:00 - 17:30 at Vertex WS215 - Incremental computing 3: Research talks
General purpose incremental computation requires a lot of overhead in memory and time. To address these limitations, programmers often organize functions and data so that dependency tracking and memoization act on groups rather than individual items. I design data structures and higher-order functions in the Rust language with support for tuning these group sizes. I use the most recent, the Giraz, to parse and interpret a reverse-polish-calculator. The Giraz has high initial runtime compared to a native vector-based implementation, but makes up for it with fast change propagation after 10 changes.
(ic17-paper1.pdf) | 133KiB |
Thu 22 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 22 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
15:50 - 17:30 | |||
15:50 30mTalk | Incremental Relational Lenses IC File Attached | ||
16:25 30mTalk | Privacy-aware Distributed Incremental Computation IC Mirko Köhler Technical University of Darmstadt, Philipp Haller KTH Royal Institute of Technology, Sebastian Erdweg TU Delft, Mira Mezini TU Darmstadt, Guido Salvaneschi TU Darmstadt File Attached | ||
17:00 30mTalk | Tuning Data and Control Structures for Incremental Computation IC Kyle Headley University of Colorado Boulder File Attached |