SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
VenueHotel Cascais Miragem
Room nameRoom XIII
Capacity44
Room InformationNo extra information available
Program

This program is tentative and subject to change.

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
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
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 Oxford, Frederik Krogsdal Jacobsen , Alberto Momigliano Università degli Studi di Milano, Luca Padovani University of Camerino, Alceste Scalas Technical University of Denmark, Martin Vassor Imperial College London, 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
14:00
30m
Talk
CAPABLE: A Mechanised Imperative Language with Native Multiparty Session Types
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
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
16:00 - 17:30
ST30 Day 1 Session 4ST30 at Room XIII
16:00
30m
Talk
The Expressiveness of Session Types
ST30
Jorge A. Pérez University of Groningen
Pre-print
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
09:00
30m
Talk
Behavioural up/down casting for statically typed languages
ST30
Lorenzo Bacchiani , Mario Bravetti Università di Bologna, Marco Giunti NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa, João Mota NOVA School of Science and Technology, Antonio Ravara NOVA LINCS & FCT, 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 Schemes
ST30
11:00 - 12:30
ST30 Day 2 Session 2ST30 at Room XIII
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 Programming
ST30
Luís Caires INESC-ID / Instituto Superior Tecnico, University of Lisbon
14:00 - 15:30
ST30 Day 2 Session 3ST30 at Room XIII
14:00
30m
Talk
Benchmarks for Multiparty Session Types
ST30
Martin Vassor Imperial College London, Nobuko Yoshida University of Oxford
14:30
30m
Talk
Towards Session-Typed Consensus
ST30
Matthew Alan Le Brun University of Malta, 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
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

11:00 - 12:30
PLF Talks 1PLF at Room XIII
11:00
30m
Talk
Collaborative offline-first applications in Education
PLF
Annette Bieniusa University of Kaiserslautern-Landau, Christopher Thyssen University of Kaiserslautern-Landau
11:30
30m
Talk
Local-first: experiments & lessons learned building TypeCell
PLF
12:00
30m
Talk
Proposal: Versioned Collaborative Documents
PLF
Matthew Weidner Carnegie Mellon University
14:00 - 15:30
PLF Talks 2PLF at Room XIII
14:00
30m
Talk
Can local-first really scale at the edge?
PLF
Carlos Baquero HASLab/INESC TEC & University of Minho
14:30
30m
Talk
Local-first at Actyx
PLF
Roland Kuhn Actyx AG, José Duarte Actyx AG
15:00
30m
Talk
Extending Automerge: Undo, Redo, and Move
PLF
Leo Stewen Technical University of Munich, Martin Kleppmann TU Munich, Liangrun Da TU Munich
16:00 - 17:30
PLF Short TalksPLF at Room XIII
16:00
22m
Talk
How to Enforce and Verify Invariants in Weakly Consistent Databases
PLF
Dina Borrego NOVA LINCS, FCT, Universidade NOVA de Lisboa, Carla Ferreira NOVA University Lisbon, Nuno Preguica NOVA LINCS, FCT, Universidade NOVA de Lisboa
16:22
22m
Talk
Local-First in Practice: Learnings of building a high-performance, local-first music app
PLF
16:45
22m
Talk
MVC, MVCC and Causal Trees
PLF
Victor Grishchenko Unaffiliated
17:07
22m
Talk
Mixed & Verified Consistency with Propel & ConOpY
PLF
George Zakhour University of St.Gallen, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen

Wed 25 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
KeynoteOnward! Papers at Room XIII
Chair(s): Tijs van der Storm CWI & University of Groningen
09:00
90m
Keynote
Creating a learnable and inclusive programming languageKeynote
Onward! Papers
K: Felienne Hermans Vrije Universiteit Amsterdam
11:00 - 12:30
Beyond Text? Onward! Papers at Room XIII
Chair(s): L. Thomas van Binsbergen University of Amsterdam
11:00
30m
Talk
Time-awareness in Object-exploration Tools: Toward In Situ Omniscient Debugging
Onward! Papers
Christoph Thiede Hasso Plattner Institute, University of Potsdam, Germany, Marcel Taeumel University of Potsdam; Hasso Plattner Institute, Robert Hirschfeld University of Potsdam; Hasso Plattner Institute
DOI
11:30
30m
Talk
Code Merging Using Transformations and Member Identity
Onward! Papers
André R. Teles University Institute of Lisbon, André L. Santos University Institute of Lisbon, Portugal
12:00
30m
Talk
Scalable Spreadsheet-driven End-User Applications with Incremental Computation
Onward! Papers
Sean Hadar Technion, Shachar Itzhaky Technion
14:00 - 15:30
Beyond Language?Onward! Papers at Room XIII
Chair(s): Alex Potanin Australian National University
14:00
30m
Talk
Could No-Code be Code? -- Toward a No-Code Programming Language for Citizen Developers
Onward! Papers
David H. Lorenz Open University of Israel, Assaf Zeira Too Software
14:30
30m
Talk
Toward Programming Languages for Reasoning -- Humans, Symbolic Systems, and AI Agents
Onward! Papers
Mark Marron University of Kentucky
15:00
30m
Talk
Trustworthy Formal Natural Language Specifications
Onward! Papers
Colin Gordon Drexel University, Sergey Matskevich Drexel University, USA
16:00 - 17:30
16:00
45m
Talk
Will code remain a relevant user interface for end-user programming with generative AI models?
Onward! Essays
Advait Sarkar Microsoft Research and University of Cambridge
16:45
45m
Talk
programmingLanguage as Language;
Onward! Essays
James Noble Research & Programming, Robert Biddle Carleton University

Thu 26 Oct

Displayed time zone: Lisbon change

11:00 - 12:30
Beyond Programming? Onward! Papers at Room XIII
11:00
30m
Talk
Cloning And Beyond: A Quantum Solution to Duplicate Code
Onward! Papers
Samyak Jhaveri UCI, Alberto Krone-Martins UC Irvine, Crista Lopes University of California, Irvine
11:30
30m
Talk
Towards an Industrial Stateful Software Rejuvenation Toolchain Using Model Learning
Onward! Papers
Mathijs Schuts Philips; Radboud University Nijmegen, Jozef Hooman TNO; Radboud University Nijmegen
12:00
30m
Talk
Concept-Centric Software Development: An Experience Report
Onward! Papers
Peter Wilczynski Palantir Technologies, Taylor Gregoire-Wright Independent consultant, Daniel Jackson MIT
14:00 - 15:30
14:00
45m
Talk
Sharing a Perspective on the lambda-Calculus
Onward! Essays
Beniamino Accattoli Inria & Ecole Polytechnique
14:45
45m
Talk
Whither Problem-Solving Environments?
Onward! Essays
Matthew Dinmore Johns Hopkins Applied Physics Laboratory

Sun 22 Oct

Displayed time zone: Lisbon change

Mon 23 Oct

Displayed time zone: Lisbon change

Tue 24 Oct

Displayed time zone: Lisbon change

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

Wed 25 Oct

Displayed time zone: Lisbon change

Thu 26 Oct

Displayed time zone: Lisbon change

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

Fri 27 Oct

Displayed time zone: Lisbon change

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