SPLASH 2019 (series) / IC 2019 (series) /
IC 2019 Program
This is the IC 2019 program - see the full program for SPLASH 2019 and all affiliated events.
Filter Program
Dates
Mon 21 Oct 2019
Rooms
Room 3A
Tracks
IC
Badges
Keynote
Your Program
Nothing to filter
Mon 21 OctDisplayed time zone: Beirut change
Mon 21 Oct
Displayed time zone: Beirut change
09:00 - 10:30 | |||
09:00 90mTalk | Differential dataflow: a model and implementationKeynote IC | ||
11:00 - 12:30 | |||
11:00 30mTalk | Generating Incremental Type Services IC | ||
11:30 30mTalk | Incrementalizing inter-procedural program analyses with recursive aggregation in Datalog IC Tamás Szabó itemis / JGU Mainz, Gábor Bergmann Budapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary, Sebastian Erdweg JGU Mainz Pre-print | ||
12:00 30mTalk | Incremental Datalog Prototype in Soufflé IC David Zhao The University of Sydney, Pavle Subotic Amazon, Bernhard Scholz University of Sydney, Australia | ||
14:00 - 15:30 | |||
14:00 30mTalk | Precise, Efficient, and Expressive Incremental Build Scripts with PIE IC Gabriël Konat Delft University of Technology, Roelof Sol Delft University of Technology, Sebastian Erdweg JGU Mainz, Eelco Visser Delft University of Technology Pre-print File Attached | ||
14:30 30mTalk | From Whole Program Compilation to Incremental Compilation: A Critical Case IC Jeff Smits Delft University of Technology, Gabriël Konat Delft University of Technology, Eelco Visser Delft University of Technology Pre-print | ||
15:00 30mTalk | An Incremental Locking Scheme for Transactional Editing IC Nils Kurowsky Fernuni Hagen | ||
16:00 - 17:30 | |||
16:00 30mTalk | Toward Lazy Evaluation in a Graph Database IC | ||
16:30 30mTalk | The meaning of a program change is a change to the program’s meaning IC Roly Perera The Alan Turing Institute Pre-print | ||