Write a Blog >>
Thu 22 Jun 2017 14:50 - 15:20 at Vertex WS215 - Incremental computing 2: Research talks

An essential part of many organisations is the ability to provide the users and decision makers with reports on key data based on large amounts data, and these reports should be delivered in a timely manner to stay relevant.

To get the desired performance the programs generating these reports are often written in a non-intuitive fashion. For instance, by keeping data in a denormalized form. We have investigated an alternative approach, namely to write the programs as they are operating on the full amount of data and then use automatic incrementalization for achieving acceptable performance.

Thu 22 Jun

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

13:40 - 15:20
Incremental computing 2: Research talksIC at Vertex WS215
13:40
30m
Talk
Automated Incrementalization through Synthesis
IC
Rohin Shah University of California, Berkeley, Rastislav Bodík University of Washington
File Attached
14:15
30m
Talk
IceDust Calculation Strategy Composition Performance in Web Applications
IC
Daco Harkes Delft University of Technology, Eelco Visser Delft University of Technology
File Attached
14:50
30m
Talk
Automatic Incrementalization of Functional Reports
IC
Ken Friis Larsen DIKU, University of Copenhagen, Fritz Henglein DIKU, Denmark
File Attached