SPLASH 2023
Sun 22 - Fri 27 October 2023
Cascais, Portugal
Toggle navigation
Attending
Venue: Hotel Cascais Miragem
Registration
Sponsoring
Code of conduct
Support for Attending the Conference
Program
Complete Program
Your Program
Sun 22 Oct
Mon 23 Oct
Tue 24 Oct
Wed 25 Oct
Thu 26 Oct
Fri 27 Oct
Tracks
SPLASH 2023
Doctoral Symposium
OOPSLA
OOPSLA Artifacts
Onward! Essays
Onward! Papers
PLMW
Posters
SPLASH-E
Student Research Competition
Volunteers
Workshops
CARES
Co-hosted Conferences
DLS
GPCE
LOPSTR
MPLR
PPDP
SAS
SAS
SAS
SAS
Artifacts
SLE
Workshops
CONFLANG
23
FTSCS
HATRA
IWACO
LIVE
PAINT
PLF
REBLS
ST30
VMIL
VMIL
- Keynote
Organization
SPLASH 2023 Committees
Organizing Committee
Steering Committee
Track Committees
Doctoral Symposium
OOPSLA
OOPSLA Review Committee
External Review / Artifact Evaluation Committee
OOPSLA Artifacts
Onward! Essays
Program Committee
Onward! Steering Committee
Onward! Papers
Program Committee
Steering Committee
PLMW
Organizing Committee
Speakers & Panelists
Mentors
Posters
SPLASH-E
Program Commitee
Steering Committee
Student Research Competition
Organizers
Reviewers
Volunteers
Workshops
Contributors
People Index
Co-hosted Conferences
DLS
Program Committee
Steering Committee
GPCE
Organizing Committee
Program Committee
LOPSTR
N/A - check homepage
MPLR
Organizing Committee
Program Committee
PPDP
N/A - check homepage
SAS
Invited Speakers
Organizing Committee
SAS 2023
SAS 2023 Artifacts
SLE
Organizing Committee
Program Committee
Workshops
CONFLANG
Organizing Committee
Program Committee
FTSCS
Organizing Committee
Program Committee
HATRA
Organizing Committee
Program Committee
IWACO
Organizing Committee
Program Committee
LIVE
Organizing Committee
Program Committee
PAINT
Organizing Committee
Program Committee
PLF
Organizing Committee
Program Committee
REBLS
Organizing Committee
Program Committee
ST30
Organizing Committee
Programme Committee
VMIL
Organizing Committee
Program Committee
Search
Series
Series
SPLASH 2024
SPLASH 2023
SPLASH 2022
SPLASH 2021
SPLASH 2020
SPLASH 2019
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2015
SPLASH 2014
SPLASH 2013
SPLASH 2012
SPLASH 2011
SPLASH 2010
OOPSLA 2009
OOPSLA 2008
OOPSLA 2007
OOPSLA 2006
OOPSLA 2005
OOPSLA 2004
OOPSLA 2003
OOPSLA 2002
OOPSLA 2001
OOPSLA 2000
Sign in
Sign up
SPLASH 2023
(
series
) /
Hotel Cascais Miragem
/
Room information: Room XIII
Venue
Hotel Cascais Miragem
Room name
Room XIII
Capacity
44
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
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
ST30 Day 1 Session 1
ST30
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 talk
ST30
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 3
ST30
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
Felix Stutz
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 4
ST30
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 1
ST30
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
Dimitrios Kouzapas
University of Cyprus
,
Demetrios G. Eliades
11:00 - 12:30
ST30 Day 2 Session 2
ST30
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 3
ST30
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 session
ST30
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
09:00 - 10:30
Keynote
PLF
at
Room XIII
Chair(s):
Ragnar Mogk
Technische Universität Darmstadt
09:00
90m
Talk
Keynote: Feeling the Local-First Elephant: A Roadmap, Hidden Gems, and New Puzzles from the Field
PLF
Brooklyn Zelenka
11:00 - 12:30
PLF Talks 1
PLF
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
Yousef El-Dardiry
TypeCell
12:00
30m
Talk
Proposal: Versioned Collaborative Documents
PLF
Matthew Weidner
Carnegie Mellon University
14:00 - 15:30
PLF Talks 2
PLF
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 Talks
PLF
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
Johannes Schickling
None
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
Keynote
Onward! Papers
at
Room XIII
Chair(s):
Tijs van der Storm
CWI & University of Groningen
09:00
90m
Keynote
Creating a learnable and inclusive programming language
Keynote
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
Essays 1
Onward! Essays
at
Room XIII
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
Essays 2
Onward! Essays
at
Room XIII
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
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
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
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
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
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
Room XIII
PLF
Keynote
PLF
PLF Talks 1
PLF
PLF Talks 2
PLF
PLF Short Talks
Wed 25 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
Room XIII
Onward! Papers
Keynote
Onward! Papers
Beyond Text?
Onward! Papers
Beyond Language?
Onward! Essays
Essays 1
Thu 26 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
Room XIII
Onward! Papers
Onward! Papers
Beyond Programming?
Onward! Essays
Essays 2
Onward! Papers
Fri 27 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
Room XIII
Onward! Papers
Onward! Papers
Onward! Papers
Onward! Papers
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
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
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
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
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
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
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
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
Room XIII
PLF
Keynote: Feeling the Local-First Elephant: A Roadmap, Hidden Gems, and ...
09:00 - 10:30
PLF
Collaborative offline-first applications in Education
11:00 - 11:30
PLF
Local-first: experiments & lessons learned building TypeCell
11:30 - 12:00
PLF
Proposal: Versioned Collaborative Documents
12:00 - 12:30
PLF
Can local-first really scale at the edge?
14:00 - 14:30
PLF
Local-first at Actyx
14:30 - 15:00
PLF
Extending Automerge: Undo, Redo, and Move
15:00 - 15:30
PLF
How to Enforce and Verify Invariants in Weakly Consistent Databases
16:00 - 16:22
PLF
Local-First in Practice: Learnings of building a high-performance, loca ...
16:22 - 16:45
PLF
MVC, MVCC and Causal Trees
16:45 - 17:07
PLF
Mixed & Verified Consistency with Propel & ConOpY
17:07 - 17:30
Wed 25 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
Room XIII
SPLASH Onward! Papers
Keynote
Creating a learnable and inclusive programming language
09:00 - 10:30
SPLASH Onward! Papers
Time-awareness in Object-exploration Tools: Toward In Situ Omniscient D ...
11:00 - 11:30
SPLASH Onward! Papers
Code Merging Using Transformations and Member Identity
11:30 - 12:00
SPLASH Onward! Papers
Scalable Spreadsheet-driven End-User Applications with Incremental Comp ...
12:00 - 12:30
SPLASH Onward! Papers
Could No-Code be Code? -- Toward a No-Code Programming Language for Cit ...
14:00 - 14:30
SPLASH Onward! Papers
Toward Programming Languages for Reasoning -- Humans, Symbolic Systems, ...
14:30 - 15:00
SPLASH Onward! Papers
Trustworthy Formal Natural Language Specifications
15:00 - 15:30
SPLASH Onward! Essays
Will code remain a relevant user interface for end-user programming wit ...
16:00 - 16:45
SPLASH Onward! Essays
programmingLanguage as Language;
16:45 - 17:30
Thu 26 Oct
Displayed time zone:
Lisbon
change
Room
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
Room XIII
SPLASH Onward! Papers
Cloning And Beyond: A Quantum Solution to Duplicate Code
11:00 - 11:30
SPLASH Onward! Papers
Towards an Industrial Stateful Software Rejuvenation Toolchain Using Mo ...
11:30 - 12:00
SPLASH Onward! Papers
Concept-Centric Software Development: An Experience Report
12:00 - 12:30
SPLASH Onward! Essays
Sharing a Perspective on the lambda-Calculus
14:00 - 14:45
SPLASH Onward! Essays
Whither Problem-Solving Environments?
14:45 - 15:30
Information for Participants
Mon 23 Oct 2023 16:00 - 17:30 at
Room XIII
-
ST30 Day 2 Session 4 - Panel session
Info for session
Panel members: Stephanie Balzer, LuĂs Caires, Raymond Hu, Ornela Dardha
x
Wed 4 Oct 14:22