SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Mon 23 Oct 2023 15:10 - 15:30 at Room VII - Session II Chair(s): Michael Hanus

Mon 23 Oct

Displayed time zone: Lisbon change

14:00 - 15:30
Session IILOPSTR at Room VII
Chair(s): Michael Hanus Kiel University
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 SystemRemote
LOPSTR
Petr Lozov Sain Petersburg State University, SPbGU, Dmitry Kosarev Saint-Petersburg State University, Dmitry Ivanov TomTom, Dmitri Boulytchev Saint Petersburg State University