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
Mon 23 Oct 2023
Tue 24 Oct 2023
Rooms
Room VII
Tracks
LOPSTR
Badges
Keynote
Remote
Your Program
Nothing to filter
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 | ||