VMIL 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
co-located with SPLASH 2023
VenueHotel Cascais Miragem
Room nameOceanus
Floor0
Capacity50
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
Session 1PPDP at Oceanus
Chair(s): Michael Hanus Kiel University
09:00
5m
Other
Opening of PPDP
PPDP
09:05
25m
Paper
A Calculus of Delayed Reductions
PPDP
Steffen van Bakel , Nicolas Wu Imperial College London, Emma Tye
09:30
30m
Paper
Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators
PPDP
Kazuki Ikemori Tokyo Institute of Technology, Youyou Cong Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology
10:00
30m
Paper
Comprehending queries over finite maps
PPDP
Wilmer Ricciotti University of Edinburgh, UK
11:00 - 12:30
Session 2PPDP at Oceanus
Chair(s): Santiago Escobar
11:00
90m
Keynote
Embedding Quantitative Properties of Call-by-Name and Call-by-Value in a Unifying FrameworkKeynote
PPDP
Delia Kesner Université Paris Cité - CNRS - IRIF; Institut Universitaire de France
16:00 - 17:30
Session 4PPDP at Oceanus
Chair(s): Santiago Escobar
16:00
30m
Paper
Type-directed Program Transformation for Constant-Time Enforcement
PPDP
16:30
30m
Paper
Data-Dependent Confidentiality in DCR Graphs
PPDP
Eduardo Geraldo , João Costa Seco NOVA-LINCS; Nova University of Lisbon, Thomas T. Hildebrandt University of Copenhagen
17:00
30m
Break
---
PPDP

Mon 23 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
Session 5PPDP at Oceanus
Chair(s): Ugo de'Liguoro Università di Torino
09:00
30m
Paper
Multicompatibility for Multiparty-Session Composition
PPDP
Franco Barbanera , Mariangiola Dezani Università di Torino, Lorenzo Gheri University of Liverpool, Nobuko Yoshida University of Oxford
09:30
30m
Paper
Termination in Concurrency, Revisited
PPDP
Joseph Paulus , Daniele Nantes-Sobrinho Imperial College London, Jorge A. Pérez University of Groningen
10:00
30m
Paper
Polymorphic Typestate for Session Types
PPDP
Hannes Saffrich University of Freiburg, Peter Thiemann University of Freiburg, Germany
14:00 - 15:30
Session 7PPDP at Oceanus
Chair(s): Santiago Escobar
14:00
30m
Paper
Strongly-Typed Multi-View Stack-Based Computations
PPDP
Pieter Koopman Radboud University Nijmegen, Netherlands, Mart Lubbers Radboud University Nijmegen
14:30
30m
Paper
Closure Conversion in Little Pieces
PPDP
Zachary Sullivan University of Oregon, Paul Downen University of Massachusetts Lowell, Zena M. Ariola University of Oregon
15:00
30m
Paper
Additive Cellular Automata Graded-Monadically
PPDP
Silvio Capobianco , Tarmo Uustalu Reykjavik University
16:00 - 17:30
Session 8PPDP at Oceanus
Chair(s): Santiago Escobar
16:00
30m
Paper
Intuitionistic Metric Temporal Logic
PPDP
Luiz de Sá , Bernardo Toninho NOVA-LINCS; Nova University of Lisbon, Frank Pfenning Carnegie Mellon University, USA
16:30
30m
Paper
stablekanren: Integrating Stable Model Semantics with miniKanren
PPDP
Xiangyu Guo Arizona State University, James Smith , Ajay Bansal
17:00
30m
Other
Closing of PPDP
PPDP

Tue 24 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
Configuration analysisCONFLANG at Oceanus
Chair(s): Yann Hamdaoui Tweag
09:00
22m
Talk
Empirical Study of the Docker Smell Impact
CONFLANG
09:22
22m
Talk
Measuring Configuration in Code
CONFLANG
09:45
22m
Talk
Yes, Configuring is Good, But Have You Ever Tried Justifying?
CONFLANG
Sébastien Mosser McMaster University, Corinne Pulgar École de Technologie Supérieure (ETS), Mireille Blay-Fornarino , Deesha Patel McMaster University, Canada, Aaron Loh McMaster University, Jean-Michel Bruel Université de Toulouse, France
10:07
22m
Live Q&A
Configuration analysis Q&A/Discussion
CONFLANG

14:00 - 15:30
Configuration languagesCONFLANG at Oceanus
Chair(s): Jürgen Cito TU Wien
14:00
22m
Talk
The LIFE of CUE
CONFLANG
Eloi Perdereau IMT Atlantique, Jacques Noyé IMT Atlantique, Nantes, France
14:22
22m
Talk
Ansible Is Turing Complete
CONFLANG
Ruben Opdebeeck Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel
14:45
22m
Talk
Cached call-by-name: incremental evaluation of configurations
CONFLANG
15:07
22m
Live Q&A
Configuration languages Q&A/Discussion
CONFLANG

16:00 - 17:30
Configuration testingCONFLANG at Oceanus
Chair(s): Jürgen Cito TU Wien
16:00
22m
Talk
Applying Large Scale Diffing to Declarative Configuration Code for Production Safety
CONFLANG
16:22
22m
Talk
Creed for Speed: Comprehensive Infrastructure as Code Testing
CONFLANG
Daniel Sokolowski University of St. Gallen, David Spielmann University of St. Gallen, Guido Salvaneschi University of St. Gallen
Pre-print
16:45
22m
Talk
Configuration testing for Borg at Google
CONFLANG
17:07
22m
Live Q&A
Configuration testing Q&A/Discussion
CONFLANG

Sun 22 Oct

Displayed time zone: Lisbon change

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

Mon 23 Oct

Displayed time zone: Lisbon change

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

Tue 24 Oct

Displayed time zone: Lisbon change