Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Mon 21 Oct 2019 11:00 - 11:30 at Room 3A - Incremental Datalog Chair(s): Neville Grech

Mon 21 Oct

Displayed time zone: Beirut change

11:00 - 12:30
Incremental DatalogIC at Room 3A
Chair(s): Neville Grech University of Athens
11:00
30m
Talk
Generating Incremental Type Services
IC
André Pacak JGU Mainz, Sebastian Erdweg JGU Mainz
11:30
30m
Talk
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
30m
Talk
Incremental Datalog Prototype in Soufflé
IC
David Zhao The University of Sydney, Pavle Subotic Amazon, Bernhard Scholz University of Sydney, Australia