SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
VenueHotel Cascais Miragem
Room nameOceanus
Floor0
Capacity50
Room InformationNo extra information available
Program

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 23 Oct

Displayed time zone: Lisbon change

11:00 - 12:30
Session ILOPSTR at Oceanus
11:00
10m
Day opening
OPENING
LOPSTR

11:10
60m
Keynote
Unification Modulo Equational Theories in Languages with Binding Operators
LOPSTR
Maribel Fernandez King's College London
12:10
20m
Short-paper
Towards a Certified Proof Checker for Deep Neural Network Verification
LOPSTR
Remi Desmartin Heriot-Watt University, Omri Isac The Hebrew University of Jerusalem, Grant Passmore Imandra Inc., Kathrin Stark Heriot-Watt University, Guy Katz Hebrew University, Ekaterina Komandantskaya Heriot-Watt University, UK
14:00 - 15:30
Session IILOPSTR at Oceanus
14:00
35m
Research paper
A Reusable Machine-Calculus for Automated Resource Analyses
LOPSTR
Hector Suzanne LIP6 - Sorbonne Université & CNRS, Emmanuel Chailloux UPMC, France
14:35
35m
Research paper
A Logical Interpretation of Asynchronous Multiparty Compatibility
LOPSTR
Marco Carbone IT University of Copenhagen, Sonia Marin University of Birmingham, Carsten Schürmann IT University of Copenhagen
15:10
20m
Short-paper
Relational Solver for Java Generics Type System
LOPSTR
Petr Lozov Sain Petersburg State University, SPbGU, Dmitry Kosarev Saint-Petersburg State University, Dmitry Ivanov TomTom, Dmitri Boulytchev Saint Petersburg State University
16:00 - 17:30
Session IIILOPSTR at Oceanus
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 Examples
LOPSTR
Bach Nguyen Trong , Kanae Tsushima National Institute of Informatics, Japan, Zhenjiang Hu Peking University
17:10
10m
Awards
Best Paper Award
LOPSTR

Tue 24 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
Session IVLOPSTR at Oceanus
09:00
60m
Keynote
On-The-Fly Verification via Incremental, Interactive Abstract Interpretation with CiaoPP and VeriFly
LOPSTR
Manuel Hermenegildo Technical University of Madrid (UPM) and IMDEA Software Institute
10:00
30m
Research paper
A Term Matching Algorithm and Substitution Generality
LOPSTR
Marija Kulaš Fernuniversität in Hagen
11:00 - 12:30
Session VLOPSTR at Oceanus
11:00
35m
Research paper
Predicate Anti-unification in (Constraint) Logic Programming
LOPSTR
Gonzague Yernaux University of Namur, Wim Vanhoof University of Namur
11:35
35m
Research paper
A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification
LOPSTR
Jordina Francès de Mas University of St Andrews, St Andrews, UK, Juliana Bowles University of St Andrews, St Andrews, UK
12:10
20m
Short-paper
From Static to Dynamic Access Control Policies via Attribute-Based Category Mining
LOPSTR
Anna Bamberger , Maribel Fernandez King's College London
14:00 - 15:30
Session VILOPSTR at Oceanus
14:00
30m
Research paper
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions
LOPSTR
Emanuele De Angelis CNR-IASI, Fabio Fioravanti University of Chieti-Pescara, Alberto Pettorossi University of Rome Tor Vergata, Italy, Maurizio Proietti CNR-IASI
14:30
25m
Short-paper
Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation
LOPSTR
John P. Gallagher Roskilde University, Manuel Hermenegildo Technical University of Madrid (UPM) and IMDEA Software Institute, José Morales IMDEA Software Institute, Pedro López-García IMDEA Software Institute
14:55
10m
Day closing
Closing and Adjourn
LOPSTR

Mon 23 Oct

Displayed time zone: Lisbon change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Oceanus

Tue 24 Oct

Displayed time zone: Lisbon change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Oceanus