Incremental Datalog Prototype in Soufflé (IC 2019) - SPLASH 2019

Write a Blog >>

Sun 20 - Fri 25 October 2019 Athens, Greece

Who

David Zhao, Pavle Subotic, Bernhard Scholz

Track

Time Zone

The program is currently displayed in (GMT+03:00) Beirut.

Use conference time zone: (GMT+03:00) BeirutSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Mon 21 Oct 2019 12:00 - 12:30 at Room 3A - Incremental Datalog Chair(s): Neville Grech

David Zhao

The University of Sydney

Pavle Subotic

Amazon

United Kingdom

Bernhard Scholz

University of Sydney, Australia

Time Zone

The program is currently displayed in (GMT+03:00) Beirut.

Use conference time zone: (GMT+03:00) BeirutSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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