SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
SPLASH 2023 (series) / Hotel Cascais Miragem /

Room information: Oceanus

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

LOPSTR

LOPSTR

Session I

LOPSTR

Session II

LOPSTR

Session III

Tue 24 Oct

Displayed time zone: Lisbon change

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

LOPSTR

Session IV

LOPSTR

Session V

LOPSTR

Session VI

LOPSTR

Mon 23 Oct

Displayed time zone: Lisbon change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Oceanus
LOPSTR
OPENING
11:00 - 11:10
LOPSTR
Unification Modulo Equational Theories in Languages with Binding Operators
11:10 - 12:10
LOPSTR
Towards a Certified Proof Checker for Deep Neural Network Verification
12:10 - 12:30
LOPSTR
A Reusable Machine-Calculus for Automated Resource Analyses
14:00 - 14:35
LOPSTR
A Logical Interpretation of Asynchronous Multiparty Compatibility
14:35 - 15:10
LOPSTR
Relational Solver for Java Generics Type System
15:10 - 15:30
LOPSTR
A Rule-Based Approach for Designing and Composing Abstract Domains
16:00 - 16:35
LOPSTR
Design Datalog Templates for Synthesizing Bidirectional Programs from T ...
16:35 - 17:10
LOPSTR
Best Paper Award
17:10 - 17:20

Tue 24 Oct

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Oceanus
LOPSTR
On-The-Fly Verification via Incremental, Interactive Abstract Interpret ...
09:00 - 10:00
LOPSTR
A Term Matching Algorithm and Substitution Generality
10:00 - 10:30
LOPSTR
Predicate Anti-unification in (Constraint) Logic Programming
11:00 - 11:35
LOPSTR
A Novel EGs-Based Framework for Systematic Propositional-Formula Simpli ...
11:35 - 12:10
LOPSTR
From Static to Dynamic Access Control Policies via Attribute-Based Cate ...
12:10 - 12:30
LOPSTR
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions
14:00 - 14:30
LOPSTR
Transforming Big-Step to Small-Step Semantics Using Interpreter Special ...
14:30 - 14:55
LOPSTR
Closing and Adjourn
14:55 - 15:05