Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples (LOPSTR 2023) - SPLASH 2023

Sun 22 - Fri 27 October 2023 Cascais, Portugal

Who

Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu

Track

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect 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 23 Oct 2023 16:35 - 17:10 at Room VII - Session III Chair(s): Chantal Keller

Bach Nguyen Trong

Kanae Tsushima

National Institute of Informatics, Japan

Japan

Zhenjiang Hu

Peking University

China

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect 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 23 Oct
Displayed time zone: Lisbon change

	16:00 - 17:30	Session IIILOPSTR at Room VII Chair(s): Chantal Keller Université Paris Saclay

	16:00 35m Research paper		A Rule-Based Approach for Designing and Composing Abstract Domains LOPSTR Daniel Jurjo Rivas IMDEA Software Institute and T.U. of Madrid (UPM), José Morales IMDEA Software Institute, Pedro López-García IMDEA Software Institute, Manuel Hermenegildo Technical University of Madrid (UPM) and IMDEA Software Institute
	16:35 35m Research paper		Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular ExamplesRemote LOPSTR Bach Nguyen Trong , Kanae Tsushima National Institute of Informatics, Japan, Zhenjiang Hu Peking University
	17:10 10m Awards		Best Paper Awards LOPSTR