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
Times are displayed in time zone: Beirut change

11:00 - 12:30
Incremental DatalogIC at Room 3A
Chair(s): Neville GrechUniversity of Athens
11:00
30m
Talk
Generating Incremental Type Services
IC
André PacakJGU Mainz, Sebastian ErdwegJGU Mainz
11:30
30m
Talk
Incrementalizing inter-procedural program analyses with recursive aggregation in Datalog
IC
Tamás Szabóitemis / JGU Mainz, Gábor BergmannBudapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary, Sebastian ErdwegJGU Mainz
Pre-print
12:00
30m
Talk
Incremental Datalog Prototype in Soufflé
IC
David ZhaoThe University of Sydney, Pavle SuboticAmazon, Bernhard ScholzUniversity of Sydney, Australia