Write a Blog >>
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.

Conference Day
Thu 22 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:50 - 17:30
Incremental computing 3: Research talksIC at Vertex WS215
15:50
30m
Talk
Incremental Relational Lenses
IC
Rudi HornUniversity of Edinburgh, James CheneyUniversity of Edinburgh, UK
File Attached
16:25
30m
Talk
Privacy-aware Distributed Incremental Computation
IC
Mirko KöhlerTechnical University of Darmstadt, Philipp HallerKTH Royal Institute of Technology, Sebastian ErdwegTU Delft, Mira MeziniTU Darmstadt, Guido SalvaneschiTU Darmstadt
File Attached
17:00
30m
Talk
Tuning Data and Control Structures for Incremental Computation
IC
Kyle HeadleyUniversity of Colorado Boulder
File Attached