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

Room information: Room VII

VenueHotel Cascais Miragem
Room nameRoom VII
Floor0
Capacity90
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

Mon 23 Oct

Displayed time zone: Lisbon change

11:00 - 12:30
Session 6PPDP at Room VII
Chair(s): Santiago Escobar
11:10
60m
Keynote
Unification modulo equational theories in languages with binding operators
PPDP
Maribel Fernandez King's College London
11:00 - 12:30
Session ILOPSTR at Room VII
Chair(s): Santiago Escobar , Robert Glück University of Copenhagen
11:00
10m
Day opening
Opening Remarks
LOPSTR
Robert Glück University of Copenhagen
11:10
60m
Keynote
Unification Modulo Equational Theories in Languages with Binding Operators Keynote
LOPSTR
Maribel Fernandez King's College London
12:10
20m
Short-paper
Towards a Certified Proof Checker for Deep Neural Network Verification
LOPSTR
Remi Desmartin Heriot-Watt University, Omri Isac The Hebrew University of Jerusalem, Grant Passmore Imandra Inc., Kathrin Stark Heriot-Watt University, Guy Katz Hebrew University, Ekaterina Komandantskaya Heriot-Watt University, UK
14:00 - 15:30
Session IILOPSTR at Room VII
Chair(s): Michael Hanus Kiel University
14:00
35m
Research paper
A Reusable Machine-Calculus for Automated Resource Analyses
LOPSTR
Hector Suzanne LIP6 - Sorbonne Université & CNRS, Emmanuel Chailloux UPMC, France
14:35
35m
Research paper
A Logical Interpretation of Asynchronous Multiparty Compatibility
LOPSTR
Marco Carbone IT University of Copenhagen, Sonia Marin University of Birmingham, Carsten Schürmann IT University of Copenhagen
15:10
20m
Short-paper
Relational Solver for Java Generics Type SystemRemote
LOPSTR
Petr Lozov Sain Petersburg State University, SPbGU, Dmitry Kosarev Saint-Petersburg State University, Dmitry Ivanov TomTom, Dmitri Boulytchev Saint Petersburg State University
16:00 - 17:30
Session IIILOPSTR at Room VII
Chair(s): Chantal Keller Université Paris Saclay
16:00
35m
Research paper
A Rule-Based Approach for Designing and Composing Abstract Domains
LOPSTR
Daniel Jurjo Rivas IMDEA Software Institute and T.U. of Madrid (UPM), José Morales IMDEA Software Institute, Pedro López-García IMDEA Software Institute, Manuel Hermenegildo Technical University of Madrid (UPM) and IMDEA Software Institute
16:35
35m
Research paper
Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular ExamplesRemote
LOPSTR
Bach Nguyen Trong , Kanae Tsushima National Institute of Informatics, Japan, Zhenjiang Hu Peking University
17:10
10m
Awards
Best Paper Awards
LOPSTR

Tue 24 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
Session IVLOPSTR at Room VII
Chair(s): John P. Gallagher Roskilde University
09:00
60m
Keynote
On-The-Fly Verification via Incremental, Interactive Abstract Interpretation with CiaoPP and VeriFlyKeynote
LOPSTR
Manuel Hermenegildo Technical University of Madrid (UPM) and IMDEA Software Institute
10:00
30m
Research paper
A Term Matching Algorithm and Substitution Generality
LOPSTR
Marija Kulaš Fernuniversität in Hagen
11:00 - 12:30
Session VLOPSTR at Room VII
Chair(s): Maurizio Proietti CNR-IASI
11:00
35m
Research paper
Predicate Anti-unification in (Constraint) Logic Programming
LOPSTR
Gonzague Yernaux University of Namur, Wim Vanhoof University of Namur
11:35
35m
Research paper
A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification
LOPSTR
Jordina Francès de Mas University of St Andrews, St Andrews, UK, Juliana Bowles University of St Andrews, St Andrews, UK
12:10
20m
Short-paper
From Static to Dynamic Access Control Policies via Attribute-Based Category Mining
LOPSTR
Anna Bamberger , Maribel Fernandez King's College London
14:00 - 15:30
Session VILOPSTR at Room VII
Chair(s): Juliana Bowles University of St Andrews, St Andrews, UK
14:00
35m
Research paper
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions
LOPSTR
Emanuele De Angelis CNR-IASI, Fabio Fioravanti University of Chieti-Pescara, Alberto Pettorossi University of Rome Tor Vergata, Italy, Maurizio Proietti CNR-IASI
14:35
20m
Short-paper
Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation
LOPSTR
John P. Gallagher Roskilde University, Manuel Hermenegildo Technical University of Madrid (UPM) and IMDEA Software Institute, José Morales IMDEA Software Institute, Pedro López-García IMDEA Software Institute
14:55
10m
Day closing
Closing and Adjourn
LOPSTR

Wed 25 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
KeynoteOnward! Papers at Room VII
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
09:00 - 10:30
Joint Keynote with Onward!SPLASH-E at Room VII
Chair(s): Tijs van der Storm CWI & University of Groningen

Please note that this talk/session is joint with Onward!.

11:00 - 12:30
Beyond Text? Onward! Papers at Room VII
Chair(s): L. Thomas van Binsbergen University of Amsterdam
11:00
30m
Talk
Time-awareness in Object-exploration Tools: Toward In Situ Omniscient DebuggingRemote
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
Link to publication 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 VII
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
Link to publication DOI Pre-print
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 1Onward! Essays at Room VII
Chair(s): Matthew Dinmore Johns Hopkins Applied Physics Laboratory
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
Link to publication DOI
16:45
45m
Talk
programmingLanguage as Language;
Onward! Essays
James Noble Research & Programming, Robert Biddle Carleton University
Link to publication DOI File Attached

Thu 26 Oct

Displayed time zone: Lisbon change

11:00 - 12:30
Beyond Programming? Onward! Papers at Room VII
Chair(s): Riemer van Rozen CWI
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 LearningRemote
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 2Onward! Essays at Room VII
Chair(s): James Noble Research & Programming
14:00
45m
Talk
Sharing a Perspective on the lambda-Calculus
Onward! Essays
Beniamino Accattoli Inria & Ecole Polytechnique
Link to publication DOI
14:45
45m
Talk
Whither Problem-Solving Environments?
Onward! Essays
Matthew Dinmore Johns Hopkins Applied Physics Laboratory
Link to publication DOI File Attached

Mon 23 Oct

Displayed time zone: Lisbon change

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

LOPSTR

PPDP

Session 6

LOPSTR

Session I
11:00 - 12:30

LOPSTR

Session II

LOPSTR

Session III

Tue 24 Oct

Displayed time zone: Lisbon change

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

LOPSTR

Session IV

LOPSTR

Session V

LOPSTR

Session VI

LOPSTR

Wed 25 Oct

Displayed time zone: Lisbon change

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

Onward! Papers

Keynote

SPLASH-E

Joint Keynote with Onward!
09:00 - 10:30

Onward! Papers

Beyond Text?

Onward! Papers

Beyond Language?

Onward! Essays

Essays 1

Thu 26 Oct

Displayed time zone: Lisbon change

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

Onward! Papers

Onward! Papers

Beyond Programming?

Onward! Essays

Essays 2

Onward! Papers

Fri 27 Oct

Displayed time zone: Lisbon change

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

Onward! Papers

Onward! Papers

Onward! Papers

Onward! Papers

Mon 23 Oct

Displayed time zone: Lisbon change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Room VII
LOPSTR
Opening Remarks
11:00 - 11:10
PPDP
Unification modulo equational theories in languages with binding operators
11:10 - 12:10
LOPSTRKeynote
Unification Modulo Equational Theories in Languages with Binding Operators
11:10 - 12:10
LOPSTR
Towards a Certified Proof Checker for Deep Neural Network Verification
12:10 - 12:30
LOPSTR
A Reusable Machine-Calculus for Automated Resource Analyses
14:00 - 14:35
LOPSTR
A Logical Interpretation of Asynchronous Multiparty Compatibility
14:35 - 15:10
LOPSTRRemote
Relational Solver for Java Generics Type System
15:10 - 15:30
LOPSTR
A Rule-Based Approach for Designing and Composing Abstract Domains
16:00 - 16:35
LOPSTRRemote
Design Datalog Templates for Synthesizing Bidirectional Programs from T ...
16:35 - 17:10
LOPSTR
Best Paper Awards
17:10 - 17:20

Tue 24 Oct

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Room VII
LOPSTRKeynote
On-The-Fly Verification via Incremental, Interactive Abstract Interpret ...
09:00 - 10:00
LOPSTR
A Term Matching Algorithm and Substitution Generality
10:00 - 10:30
LOPSTR
Predicate Anti-unification in (Constraint) Logic Programming
11:00 - 11:35
LOPSTR
A Novel EGs-Based Framework for Systematic Propositional-Formula Simpli ...
11:35 - 12:10
LOPSTR
From Static to Dynamic Access Control Policies via Attribute-Based Cate ...
12:10 - 12:30
LOPSTR
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions
14:00 - 14:35
LOPSTR
Transforming Big-Step to Small-Step Semantics Using Interpreter Special ...
14:35 - 14:55
LOPSTR
Closing and Adjourn
14:55 - 15:05

Wed 25 Oct

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Room VII
SPLASH Onward! PapersKeynote
Creating a learnable and inclusive programming language
09:00 - 10:30
SPLASH Onward! PapersRemote
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

Room11:0015304512:0015304513:0015304514:0015304515:00153045
Room VII
SPLASH Onward! Papers
Cloning And Beyond: A Quantum Solution to Duplicate Code
11:00 - 11:30
SPLASH Onward! PapersRemote
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