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

Room information: Room XIII

VenueHotel Cascais Miragem
Room nameRoom XIII
Capacity44
Room InformationNo extra information available
Program

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

Sun 22 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
ST30 Day 1 Session 1ST30 at Room XIII
Chair(s): Kirstin Peters Augsburg University
09:00
30m
Talk
A silent semantics for isorecursive session types
ST30
Janek Spaderna University of Freiburg, Germany, Peter Thiemann University of Freiburg, Germany, Vasco T. Vasconcelos LASIGE, University of Lisbon
09:30
30m
Talk
Mechanising Multiparty Session Types: A Sound and Complete Projection
ST30
Marco Carbone IT University of Copenhagen, Dawit Tirore IT University of Copenhagen, Denmark, Jesper Bengtson IT University of Copenhagen, Denmark
10:00
30m
Talk
The Concurrent Calculi Formalisation Benchmark
ST30
Marco Carbone IT University of Copenhagen, David Castro-Perez University of Kent, Francisco Ferreira Royal Holloway, University of London, Lorenzo Gheri University of Liverpool, Frederik Krogsdal Jacobsen Technical University of Denmark, Alberto Momigliano Università degli Studi di Milano, Luca Padovani University of Camerino, Alceste Scalas DTU, Martin Vassor University of Oxford, UK, Nobuko Yoshida University of Oxford
11:00 - 12:30
ST30 Day 1 Session 2 - Invited talkST30 at Room XIII
Chair(s): Vasco T. Vasconcelos LASIGE, University of Lisbon
11:00
90m
Talk
Beyond Types for Dyadic Interaction
ST30
Nobuko Yoshida University of Oxford
14:00 - 15:30
ST30 Day 1 Session 3ST30 at Room XIII
Chair(s): Peter Thiemann University of Freiburg, Germany
14:00
30m
Talk
CAPABLE: A Mechanised Imperative Language with Native Multiparty Session TypesCancelled
ST30
Jan de Muijnck-Hughes University of Strathclyde, Cristian Urlea , Adriana Laura Voinea , Wim Vanderbauwhede University of Glasgow
14:30
30m
Talk
Complete Multiparty Session Type Projection with Automata
ST30
Elaine Li NYU, Felix Stutz MPI-SWS, Thomas Wies New York University, Damien Zufferey SonarSource
15:00
30m
Talk
Multiparty Reactive Sessions
ST30
Ilaria Castellani INRIA Sophia Antipolis, France, Cinzia Di Giusto Université Côte d'Azur; CNRS, Jorge A. Pérez University of Groningen
Link to publication File Attached
16:00 - 17:30
ST30 Day 1 Session 4ST30 at Room XIII
Chair(s): Diana Costa LASIGE, University of Lisbon
16:00
30m
Talk
The Expressiveness of Session Types
ST30
Jorge A. Pérez University of Groningen
Pre-print File Attached
16:30
30m
Talk
What we learned from writing a book about session types
ST30
Simon J. Gay University of Glasgow, UK, Vasco T. Vasconcelos LASIGE, University of Lisbon
17:00
30m
Talk
So what's the difference between a session type and an ordinary type anyway?
ST30
Frank Pfenning Carnegie Mellon University, USA

Mon 23 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
ST30 Day 2 Session 1ST30 at Room XIII
Chair(s): Alceste Scalas DTU
09:00
30m
Talk
Behavioural up/down casting for statically typed languages
ST30
Lorenzo Bacchiani , Mario Bravetti Università di Bologna, Marco Giunti Nova University of Lisbon, João Mota NOVA School of Science and Technology, António Ravara Nova University of Lisbon
09:30
30m
Talk
Session-Based Typechecking for Elixir Modules Using ElixirST
ST30
Adrian Francalanza University of Malta, Gerard Tabone University of Malta
10:00
30m
Talk
A Semantic Framework for Automatic Composition of Decentralised Industrial Control SchemesCancelled
ST30
Dimitrios Kouzapas University of Cyprus, Demetrios G. Eliades
11:00 - 12:30
ST30 Day 2 Session 2ST30 at Room XIII
Chair(s): Frank Pfenning Carnegie Mellon University, USA
11:00
30m
Talk
Asynchronous and Synchronous Mixed Sessions
ST30
Kirstin Peters Augsburg University, Nobuko Yoshida University of Oxford
11:30
30m
Talk
Classical Processes in modern dress
ST30
Vikraman Choudhury University of Glasgow, Simon J. Gay University of Glasgow, UK
12:00
30m
Talk
Labelled Tensor Types in Session Based ProgrammingCancelled
ST30
Luís Caires INESC-ID / Instituto Superior Tecnico, University of Lisbon
14:00 - 15:30
ST30 Day 2 Session 3ST30 at Room XIII
Chair(s): António Ravara Nova University of Lisbon
14:00
30m
Talk
Benchmarks for Multiparty Session Types
ST30
Martin Vassor University of Oxford, UK, Nobuko Yoshida University of Oxford
File Attached
14:30
30m
Talk
Towards Session-Typed Consensus
ST30
Matthew Alan Le Brun University of Glasgow, Ornela Dardha University of Glasgow
15:00
30m
Talk
Using Event Structures to model Multiparty Session Types: results and open problems
ST30
Ilaria Castellani INRIA Sophia Antipolis, France, Paola Giannini University of Eastern Piedmont
16:00 - 17:30
ST30 Day 2 Session 4 - Panel sessionST30 at Room XIII
Chair(s): Simon J. Gay University of Glasgow, UK
16:00
90m
Panel
Future Directions for Session Types
ST30
Stephanie Balzer Carnegie Mellon University, Luís Caires INESC-ID / Instituto Superior Tecnico, University of Lisbon, Ornela Dardha University of Glasgow, Raymond Hu Queen Mary University of London

Tue 24 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
IWACO Keynote SessionIWACO at Room XIII
Chair(s): Aleksander Boruch-Gruszecki EPFL
09:00
15m
Day opening
Welcome to IWACO!
IWACO
Aleksander Boruch-Gruszecki EPFL
09:15
75m
Keynote
Capture Tracking in Scala
IWACO
Martin Odersky EPFL
11:00 - 12:30
IWACO Session 1IWACO at Room XIII
Chair(s): Aleksander Boruch-Gruszecki EPFL
11:00
30m
Talk
Borrow checking Hylo
IWACO
Dimi Racordon Northeastern University, USA, Dave Abrahams Adobe
File Attached
11:30
30m
Talk
Degrees of Separation: A Flexible Type System for Data Race Prevention
IWACO
Yichen Xu EPFL, Aleksander Boruch-Gruszecki EPFL, Martin Odersky EPFL
File Attached
12:00
30m
Talk
Latte: Lightweight Aliasing Tracking for Java
IWACO
Conrad Zimmerman Brown University, Catarina Gamboa Carnegie Mellon University and LASIGE, University of Lisbon, Alcides Fonseca LASIGE, University of Lisbon, Jonathan Aldrich Carnegie Mellon University
Pre-print
14:00 - 15:30
IWACO Session 2IWACO at Room XIII
Chair(s): Aleksander Boruch-Gruszecki EPFL
14:00
30m
Talk
A Mechanized Theory of the Box Calculus
IWACO
Joseph Fourment EPFL, Yichen Xu EPFL
File Attached
14:30
30m
Talk
Compositional Reasoning about Advanced Iterator Patterns in Rust
IWACO
Aurel Bílý ETH Zurich, Jonas Hansen ETH Zurich, Alexander J. Summers University of British Columbia, Peter Müller ETH Zurich
File Attached
15:00
30m
Talk
Oxidize: A Step-Debugger for Static Semantics
IWACO
Peter Chon Harvard University, Dimi Racordon Northeastern University, USA, Nada Amin Harvard University
File Attached

Sun 22 Oct

Displayed time zone: Lisbon change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room XIII

ST30

ST30 Day 1 Session 1

ST30

ST30 Day 1 Session 2 - Invited talk

ST30

ST30 Day 1 Session 3

ST30

ST30 Day 1 Session 4

Mon 23 Oct

Displayed time zone: Lisbon change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room XIII

ST30

ST30 Day 2 Session 1

ST30

ST30 Day 2 Session 2

ST30

ST30 Day 2 Session 3

ST30

ST30 Day 2 Session 4 - Panel session

Tue 24 Oct

Displayed time zone: Lisbon change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room XIII

IWACO

IWACO Keynote Session

IWACO

IWACO Session 1

IWACO

IWACO Session 2

IWACO

Sun 22 Oct

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Room XIII
ST30
A silent semantics for isorecursive session types
09:00 - 09:30
ST30
Mechanising Multiparty Session Types: A Sound and Complete Projection
09:30 - 10:00
ST30
The Concurrent Calculi Formalisation Benchmark
10:00 - 10:30
ST30
Beyond Types for Dyadic Interaction
11:00 - 12:30
ST30 Cancelled
CAPABLE: A Mechanised Imperative Language with Native Multiparty Sessio ...
14:00 - 14:30
ST30
Complete Multiparty Session Type Projection with Automata
14:30 - 15:00
ST30
Multiparty Reactive Sessions
15:00 - 15:30
ST30
The Expressiveness of Session Types
16:00 - 16:30
ST30
What we learned from writing a book about session types
16:30 - 17:00
ST30
So what's the difference between a session type and an ordinary type an ...
17:00 - 17:30

Mon 23 Oct

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Room XIII
ST30
Behavioural up/down casting for statically typed languages
09:00 - 09:30
ST30
Session-Based Typechecking for Elixir Modules Using ElixirST
09:30 - 10:00
ST30 Cancelled
A Semantic Framework for Automatic Composition of Decentralised Industr ...
10:00 - 10:30
ST30
Asynchronous and Synchronous Mixed Sessions
11:00 - 11:30
ST30
Classical Processes in modern dress
11:30 - 12:00
ST30 Cancelled
Labelled Tensor Types in Session Based Programming
12:00 - 12:30
ST30
Benchmarks for Multiparty Session Types
14:00 - 14:30
ST30
Towards Session-Typed Consensus
14:30 - 15:00
ST30
Using Event Structures to model Multiparty Session Types: results and o ...
15:00 - 15:30
ST30
Future Directions for Session Types
16:00 - 17:30

Tue 24 Oct

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Room XIII
IWACO
Welcome to IWACO!
09:00 - 09:15
IWACO
Capture Tracking in Scala
09:15 - 10:30
IWACO
Borrow checking Hylo
11:00 - 11:30
IWACO
Degrees of Separation: A Flexible Type System for Data Race Prevention
11:30 - 12:00
IWACO
Latte: Lightweight Aliasing Tracking for Java
12:00 - 12:30
IWACO
A Mechanized Theory of the Box Calculus
14:00 - 14:30
IWACO
Compositional Reasoning about Advanced Iterator Patterns in Rust
14:30 - 15:00
IWACO
Oxidize: A Step-Debugger for Static Semantics
15:00 - 15:30