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
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 - 11:30 Talk		Generating Incremental Type Services IC André PacakJGU Mainz, Sebastian ErdwegJGU Mainz
	11:30 - 12:00 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 - 12:30 Talk		Incremental Datalog Prototype in Soufflé IC David ZhaoThe University of Sydney, Pavle SuboticAmazon, Bernhard ScholzUniversity of Sydney, Australia