SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Mon 23 Oct 2023 16:35 - 17:10 at Room VII - Session III Chair(s): Chantal Keller

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