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

Room information: Oceanus

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
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 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
14:00 - 15:30
Session 3PPDP 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 4PPDP 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 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
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 reportsCONFLANG 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 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
Yann Hamdaoui Tweag, Daniele Palombi Tweag
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
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

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

PPDP

Session 1

PPDP

Session 2

PPDP

Session 3

PPDP

Session 4

Mon 23 Oct

Displayed time zone: Lisbon change

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

PPDP

Session 5

PPDP

Session 7

PPDP

Session 8

Tue 24 Oct

Displayed time zone: Lisbon change

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

CONFLANG

Configuration analysis

CONFLANG

Empirical studies & experience reports

CONFLANG

Configuration languages

CONFLANG

Configuration testing

Sun 22 Oct

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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
PPDPKeynote
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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