VMIL 2023
Sun 22 - Fri 27 October 2023
Cascais, Portugal
co-located with
SPLASH 2023
Toggle navigation
Attending
Venue: Hotel Cascais Miragem
Program
VMIL Program
Your Program
Sun 22 Oct
Mon 23 Oct
Tue 24 Oct
Wed 25 Oct
Thu 26 Oct
Fri 27 Oct
Track/Call
Organization
VMIL 2023 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
VMIL 2024
VMIL 2023
VMIL 2022
VMIL 2021
VMIL 2020
VMIL 2019
VMIL 2018
VMIL 2017
VMIL 2016
VMIL 2012
VMIL 2011
Sign in
Sign up
SPLASH 2023
(
series
) /
VMIL 2023 (
series
) /
Hotel Cascais Miragem
/
Room information: Oceanus
Venue
Hotel Cascais Miragem
Room name
Oceanus
Floor
0
Capacity
50
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+01:00) Lisbon
.
Use conference time zone: (GMT+01:00) Lisbon
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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 1
PPDP
at
Oceanus
Chair(s):
Michael Hanus
Kiel University
09:00
5m
Other
Opening of PPDP
PPDP
Santiago Escobar
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 2
PPDP
at
Oceanus
Chair(s):
Santiago Escobar
11:00
90m
Keynote
Embedding Quantitative Properties of Call-by-Name and Call-by-Value in a Unifying Framework
Keynote
PPDP
Delia Kesner
Université Paris Cité - CNRS - IRIF; Institut Universitaire de France
14:00 - 15:30
Session 3
PPDP
at
Oceanus
Chair(s):
Santiago Escobar
14:00
90m
Talk
10-Year Most Influential Paper Talk: Coq: the world's best macro assembler?
PPDP
Andrew Kennedy
Meta London
,
Nick Benton
Meta London
,
Jonas Jensen
Semmle
,
Pierre-Evariste Dagand
IRIF / CNRS
16:00 - 17:30
Session 4
PPDP
at
Oceanus
Chair(s):
Santiago Escobar
16:00
30m
Paper
Type-directed Program Transformation for Constant-Time Enforcement
PPDP
Gautier Raimondi
Inria
,
Frédéric Besson
,
Thomas P. Jensen
INRIA Rennes
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 5
PPDP
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 7
PPDP
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 8
PPDP
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 analysis
CONFLANG
at
Oceanus
Chair(s):
Yann Hamdaoui
Tweag
09:00
22m
Talk
Empirical Study of the Docker Smell Impact
CONFLANG
Thomas Durieux
TU Delft
09:22
22m
Talk
Measuring Configuration in Code
CONFLANG
David Newell
Google
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
11:00 - 12:30
Empirical studies & experience reports
CONFLANG
at
Oceanus
Chair(s):
Marcel van Lohuizen
CUE
11:00
22m
Talk
The Configuration Continuum: Using a Unified Model of Configuration to Prevent Outages
CONFLANG
Marcel van Lohuizen
CUE
11:22
22m
Talk
Utilizing the LSP to inform and teach users on config languages
CONFLANG
Alexander Putman
Google
11:45
22m
Talk
Evolving a configuration language in place at Google scale
CONFLANG
Marcos Lara-Reinhold
Google
12:07
22m
Live Q&A
Experience reports Q&A/Discussion
CONFLANG
14:00 - 15:30
Configuration languages
CONFLANG
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
Yann Hamdaoui
Tweag
,
Daniele Palombi
Tweag
15:07
22m
Live Q&A
Configuration languages Q&A/Discussion
CONFLANG
16:00 - 17:30
Configuration testing
CONFLANG
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
Faran Jessani
Google
,
Vikram Subramanian
Google
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
Alex Ivanov
Google
17:07
22m
Live Q&A
Configuration testing Q&A/Discussion
CONFLANG
Sun 22 Oct
Displayed time zone:
Lisbon
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Oceanus
PPDP
Session 1
PPDP
Session 2
PPDP
Session 3
PPDP
Session 4
Mon 23 Oct
Displayed time zone:
Lisbon
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Oceanus
PPDP
Session 5
PPDP
Session 7
PPDP
Session 8
Tue 24 Oct
Displayed time zone:
Lisbon
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Oceanus
CONFLANG
Configuration analysis
CONFLANG
Empirical studies & experience reports
CONFLANG
Configuration languages
CONFLANG
Configuration testing
Sun 22 Oct
Displayed time zone:
Lisbon
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Oceanus
PPDP
Opening of PPDP
09:00 - 09:05
PPDP
A Calculus of Delayed Reductions
09:05 - 09:30
PPDP
Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Cont ...
09:30 - 10:00
PPDP
Comprehending queries over finite maps
10:00 - 10:30
PPDP
Keynote
Embedding Quantitative Properties of Call-by-Name and Call-by-Value in ...
11:00 - 12:30
PPDP
10-Year Most Influential Paper Talk: Coq: the world's best macro assembler?
14:00 - 15:30
PPDP
Type-directed Program Transformation for Constant-Time Enforcement
16:00 - 16:30
PPDP
Data-Dependent Confidentiality in DCR Graphs
16:30 - 17:00
PPDP
---
17:00 - 17:30
Mon 23 Oct
Displayed time zone:
Lisbon
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Oceanus
PPDP
Multicompatibility for Multiparty-Session Composition
09:00 - 09:30
PPDP
Termination in Concurrency, Revisited
09:30 - 10:00
PPDP
Polymorphic Typestate for Session Types
10:00 - 10:30
PPDP
Strongly-Typed Multi-View Stack-Based Computations
14:00 - 14:30
PPDP
Closure Conversion in Little Pieces
14:30 - 15:00
PPDP
Additive Cellular Automata Graded-Monadically
15:00 - 15:30
PPDP
Intuitionistic Metric Temporal Logic
16:00 - 16:30
PPDP
stablekanren: Integrating Stable Model Semantics with miniKanren
16:30 - 17:00
PPDP
Closing of PPDP
17:00 - 17:30
Tue 24 Oct
Displayed time zone:
Lisbon
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Oceanus
CONFLANG
Empirical Study of the Docker Smell Impact
09:00 - 09:22
CONFLANG
Measuring Configuration in Code
09:22 - 09:45
CONFLANG
Yes, Configuring is Good, But Have You Ever Tried Justifying?
09:45 - 10:07
CONFLANG
Configuration analysis Q&A/Discussion
10:07 - 10:30
CONFLANG
The Configuration Continuum: Using a Unified Model of Configuration to ...
11:00 - 11:22
CONFLANG
Utilizing the LSP to inform and teach users on config languages
11:22 - 11:45
CONFLANG
Evolving a configuration language in place at Google scale
11:45 - 12:07
CONFLANG
Experience reports Q&A/Discussion
12:07 - 12:30
CONFLANG
The LIFE of CUE
14:00 - 14:22
CONFLANG
Ansible Is Turing Complete
14:22 - 14:45
CONFLANG
Cached call-by-name: incremental evaluation of configurations
14:45 - 15:07
CONFLANG
Configuration languages Q&A/Discussion
15:07 - 15:30
CONFLANG
Applying Large Scale Diffing to Declarative Configuration Code for Prod ...
16:00 - 16:22
CONFLANG
Creed for Speed: Comprehensive Infrastructure as Code Testing
16:22 - 16:45
CONFLANG
Configuration testing for Borg at Google
16:45 - 17:07
CONFLANG
Configuration testing Q&A/Discussion
17:07 - 17:30
x
Thu 26 Dec 14:06