SPLASH 2023 (series) / LOPSTR 2023 (series) /
LOPSTR 2023 Program
This is the LOPSTR 2023 program - see the full program for SPLASH 2023 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 23 OctDisplayed time zone: Lisbon change
Mon 23 Oct
Displayed time zone: Lisbon change
11:00 - 12:30 | |||
11:00 10mDay opening | Opening Remarks LOPSTR Robert Glück University of Copenhagen | ||
11:10 60mKeynote | Unification Modulo Equational Theories in Languages with Binding Operators Keynote LOPSTR Maribel Fernandez King's College London | ||
12:10 20mShort-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 | |||
14:00 35mResearch paper | A Reusable Machine-Calculus for Automated Resource Analyses LOPSTR | ||
14:35 35mResearch 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 20mShort-paper | Relational Solver for Java Generics Type SystemRemote 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 | |||
16:00 35mResearch 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 35mResearch 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 10mAwards | Best Paper Awards LOPSTR |
Tue 24 OctDisplayed time zone: Lisbon change
Tue 24 Oct
Displayed time zone: Lisbon change
09:00 - 10:30 | |||
09:00 60mKeynote | On-The-Fly Verification via Incremental, Interactive Abstract Interpretation with CiaoPP and VeriFlyKeynote LOPSTR Manuel Hermenegildo Technical University of Madrid (UPM) and IMDEA Software Institute | ||
10:00 30mResearch paper | A Term Matching Algorithm and Substitution Generality LOPSTR Marija Kulaš Fernuniversität in Hagen |
11:00 - 12:30 | |||
11:00 35mResearch paper | Predicate Anti-unification in (Constraint) Logic Programming LOPSTR | ||
11:35 35mResearch 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 20mShort-paper | From Static to Dynamic Access Control Policies via Attribute-Based Category Mining LOPSTR |
14:00 - 15:30 | |||
14:00 35mResearch 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:35 20mShort-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 10mDay closing | Closing and Adjourn LOPSTR |