PPDP 2023
Sun 22 - Mon 23 October 2023
Cascais, Portugal
co-located with
SPLASH 2023
Toggle navigation
Attending
Venue: Hotel Cascais Miragem
Program
PPDP Program
Your Program
Sun 22 Oct
Mon 23 Oct
Track/Call
Organization
PPDP 2023 Committees
Not available
Contributors
People Index
Search
Series
Sign in
Sign up
SPLASH 2023
(
series
) /
PPDP 2023 (
series
) /
Hotel Cascais Miragem
/
Room information: Room VII
Venue
Hotel Cascais Miragem
Room name
Room VII
Floor
0
Capacity
90
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
Mon 23 Oct
Displayed time zone:
Lisbon
change
11:00 - 12:30
Session 6
PPDP 2023
at
Room VII
Chair(s):
Santiago Escobar
11:10
60m
Keynote
Unification modulo equational theories in languages with binding operators
PPDP 2023
Maribel Fernandez
King's College London
11:00 - 12:30
Session I
LOPSTR
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 II
LOPSTR
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 System
Remote
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 III
LOPSTR
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 Examples
Remote
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 IV
LOPSTR
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 VeriFly
Keynote
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 V
LOPSTR
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 VI
LOPSTR
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
Keynote
SPLASH Onward! Papers
at
Room VII
Chair(s):
Tijs van der Storm
CWI & University of Groningen
09:00
90m
Keynote
Creating a learnable and inclusive programming language
Keynote
SPLASH 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?
SPLASH 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 Debugging
Remote
SPLASH 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
SPLASH 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
SPLASH Onward! Papers
Sean Hadar
Technion
,
Shachar Itzhaky
Technion
14:00 - 15:30
Beyond Language?
SPLASH 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
SPLASH 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
SPLASH Onward! Papers
Mark Marron
University of Kentucky
15:00
30m
Talk
Trustworthy Formal Natural Language Specifications
SPLASH Onward! Papers
Colin Gordon
Drexel University
,
Sergey Matskevich
Drexel University, USA
16:00 - 17:30
Essays 1
SPLASH Onward! 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?
SPLASH Onward! Essays
Advait Sarkar
Microsoft Research and University of Cambridge
Link to publication
DOI
16:45
45m
Talk
programmingLanguage as Language;
SPLASH 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?
SPLASH Onward! Papers
at
Room VII
Chair(s):
Riemer van Rozen
CWI
11:00
30m
Talk
Cloning And Beyond: A Quantum Solution to Duplicate Code
SPLASH 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
Remote
SPLASH 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
SPLASH Onward! Papers
Peter Wilczynski
Palantir Technologies
,
Taylor Gregoire-Wright
Independent consultant
,
Daniel Jackson
MIT
14:00 - 15:30
Essays 2
SPLASH Onward! Essays
at
Room VII
Chair(s):
James Noble
Research & Programming
14:00
45m
Talk
Sharing a Perspective on the lambda-Calculus
SPLASH Onward! Essays
Beniamino Accattoli
Inria & Ecole Polytechnique
Link to publication
DOI
14:45
45m
Talk
Whither Problem-Solving Environments?
SPLASH Onward! Essays
Matthew Dinmore
Johns Hopkins Applied Physics Laboratory
Link to publication
DOI
File Attached
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 VII
LOPSTR
PPDP 2023
Session 6
LOPSTR
Session I
11:00 - 12:30
LOPSTR
Session II
LOPSTR
Session III
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 VII
LOPSTR
Session IV
LOPSTR
Session V
LOPSTR
Session VI
LOPSTR
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 VII
SPLASH Onward! Papers
Keynote
SPLASH -E
Joint Keynote with Onward!
09:00 - 10:30
SPLASH Onward! Papers
Beyond Text?
SPLASH Onward! Papers
Beyond Language?
SPLASH 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 VII
SPLASH Onward! Papers
SPLASH Onward! Papers
Beyond Programming?
SPLASH Onward! Essays
Essays 2
SPLASH 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 VII
SPLASH Onward! Papers
SPLASH Onward! Papers
SPLASH Onward! Papers
SPLASH Onward! Papers
Mon 23 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
16:00
15
30
45
17:00
15
30
45
Room VII
LOPSTR
Opening Remarks
11:00 - 11:10
PPDP
Unification modulo equational theories in languages with binding operators
11:10 - 12:10
LOPSTR
Keynote
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
LOPSTR
Remote
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
LOPSTR
Remote
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
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
Room VII
LOPSTR
Keynote
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
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 VII
SPLASH Onward! Papers
Keynote
Creating a learnable and inclusive programming language
09:00 - 10:30
SPLASH Onward! Papers
Remote
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 VII
SPLASH Onward! Papers
Cloning And Beyond: A Quantum Solution to Duplicate Code
11:00 - 11:30
SPLASH Onward! Papers
Remote
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
x
Thu 21 Nov 17:51