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 XV
Venue
Hotel Cascais Miragem
Room name
Room XV
Capacity
100
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
Sun 22 Oct
Displayed time zone:
Lisbon
change
11:00 - 12:30
Session 1
GPCE
at
Room XV
Chair(s):
Amir Shaikhha
University of Edinburgh
11:00
30m
Talk
GPCE Welcome by Chairs
GPCE
Amir Shaikhha
University of Edinburgh
,
Coen De Roover
Vrije Universiteit Brussel
11:30
30m
Talk
Generating Conforming Programs With Xsmith
GPCE
William G Hatch
University of Utah
,
Pierce Darragh
University of Utah
,
Sorawee Porncharoenwase
University of Washington
,
Guy Watson
University of Utah
,
Eric Eide
University of Utah
12:00
30m
Talk
Multi-Stage Vertex-Centric Programming for Agent-Based Simulations
GPCE
Zilu Tian
EPFL
14:00 - 15:30
Session 2
GPCE
at
Room XV
Chair(s):
Eric Van Wyk
Department of Computer Science and Engineering, University of Minnesota, USA
14:00
30m
Talk
A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Description Languages
GPCE
Christoph Hochrainer
TU Wien
,
Andreas Krall
Vienna University of Technology, Austria
14:30
30m
Talk
A Monadic Framework for Name Resolution in Multi-Phased Type Checkers
GPCE
Casper Bach Poulsen
Delft University of Technology
,
Aron Zwaan
Delft University of Technology
,
Paul Hübner
Delft University of Technology
Link to publication
DOI
Pre-print
15:00
30m
Talk
C2TACO: Lifting Tensor Code to TACO
GPCE
José Wesley De Souza Magalhães
University of Edinburgh
,
Jackson Woodruff
University of Edinburgh
,
Elizabeth Polgreen
University of Edinburgh
,
Michael F. P. O'Boyle
University of Edinburgh
16:00 - 17:30
GPCE 2022/23 Most Influential Papers
GPCE
at
Room XV
Chair(s):
Coen De Roover
Vrije Universiteit Brussel
16:00
40m
Talk
GPCE 2022 Most Influential Paper - Xbase: Implementing Domain-Specific Languages for Java
GPCE
Sven Efftinge
Gitpod GmbH
,
Moritz Eysholdt
Gitpod GmbH
,
Jan Köhnlein
Gitpod GmbH
,
Sebastian Zarnekow
,
Wilhelm Hasselbring
Kiel University
,
Michael Hanus
Kiel University
16:40
40m
Talk
GPCE 2023 Most Influential Paper - Don’t Underestimate the Importance of Experiments: The Case of Preprocessor Annotations
GPCE
Sandro Schulze
Anhalt University of Applied Sciences
,
Jörg Liebig
,
Janet Siegmund
Chemnitz University of Technology
,
Sven Apel
Saarland University
Mon 23 Oct
Displayed time zone:
Lisbon
change
09:00 - 10:30
GPCE Tutorial
GPCE
at
Room XV
Chair(s):
Sebastian Erdweg
JGU Mainz
09:00
90m
Tutorial
GPCE Tutorial - Compile-time generative programming for OCaml: flexible, safe and efficient
GPCE
Jeremy Yallop
University of Cambridge
11:00 - 12:30
GPCE/SLE Keynote
GPCE
at
Room XV
11:00
90m
Talk
Coccinelle: Impact and Internals
GPCE
Julia Lawall
Inria
14:00 - 15:30
Session 3
GPCE
at
Room XV
Chair(s):
Zilu Tian
EPFL
14:00
30m
Talk
Crossover: Towards Compiler-enabled COBOL-C Interoperability
GPCE
Mart van Assen
University of Twente
,
Manzi Aimé Ntagengerwa
University of Twente
,
Ömer Faruk Sayilir
University of Twente
,
Vadim Zaytsev
University of Twente, Netherlands
14:30
30m
Talk
Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers
GPCE
Oscar Eriksson
KTH Royal Institute of Technology
,
Viktor Palmkvist
KTH Royal Institute of Technology
,
David Broman
KTH Royal Institute of Technology
15:00
30m
Talk
Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach
GPCE
Camilo Correa Restrepo
University of Paris 1 Pantheon-Sorbonne, Paris, France
,
Jacques Robin
ESIEA, Paris, France
,
Raúl Mazo
ENSTA Bretagne
16:00 - 17:30
Session 4
GPCE
at
Room XV
Chair(s):
Casper Bach Poulsen
Delft University of Technology
16:00
30m
Talk
Virtual Domain Specific Languages via Embedded Projectional Editing
GPCE
Niklas Korz
Alugha GmbH
,
Artur Andrzejak
Heidelberg University
16:30
30m
Talk
Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits ahead
GPCE
Raul Medeiros
University of the Basque Country (UPV/EHU)
,
Oscar Diaz
University of the Basque Country, Spain
,
David Benavides
Universidad de Sevilla
17:00
30m
Talk
Automatically Generated Supernodes for AST Interpreters Improve Virtual-machine Performance
GPCE
Matteo Basso
Università della Svizzera italiana (USI), Switzerland
,
Daniele Bonetta
Oracle Labs
,
Walter Binder
USI Lugano
Tue 24 Oct
Displayed time zone:
Lisbon
change
09:00 - 10:30
Looking Outward
DLS
at
Room XV
Chair(s):
Stefan Marr
University of Kent
09:00
30m
Talk
Is Polyglot Programming Really a Thing?
DLS
Walter Cazzola
Università degli Studi di Milano
09:30
30m
Talk
The importance of facing outwards: why dynamic languages can and should address the world
DLS
Stephen Kell
King's College London
10:00
30m
Talk
Going Static, Gradually: Semantic Soundness and Telling the Truth at Scale
DLS
Maxwell Heiber
Meta
11:00 - 12:30
Looking Inward
DLS
at
Room XV
Chair(s):
Manuel Serrano
Inria; University of Côte d'Azur
11:00
30m
Talk
All Languages are Dynamic
DLS
James Noble
Research & Programming
11:30
30m
Talk
Are we Heading Towards a Dynamic Language Winter?
DLS
Maxime Chevalier-Boisvert
Shopify
12:00
30m
Talk
Prof. Strangelove or: How I Learned to Stop Worrying and Love Dynamic Languages
DLS
Jan Vitek
Northeastern University
14:00 - 15:30
The Future of Runtimes
DLS
at
Room XV
Chair(s):
Juan Fumero
University of Manchester
14:00
30m
Talk
JITs are Nice, but Why Aren’t We Using Them?
DLS
Kevin Menard
Shopify
14:30
30m
Talk
Keeping the asm in Wasm – Running high-level languages on a low-level VM
DLS
Andreas Rossberg
Independent
15:00
30m
Talk
Language Runtimes for the New Cloud Era
DLS
Rodrigo Bruno
INESC-ID - IST-ULisboa
16:00 - 17:30
Beyond the Language
DLS
at
Room XV
Chair(s):
Stefan Marr
University of Kent
16:00
30m
Talk
Programming Languages for AI Programing Agents
DLS
Mark Marron
University of Kentucky
16:30
30m
Talk
The Bright Future of Debuggers: Challenges and Opportunities
DLS
Christophe Scholliers
Universiteit Gent, Belgium
17:00
5m
Awards
Most Notable Paper Award
DLS
Stefan Marr
University of Kent
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 XV
GPCE
GPCE
Session 1
GPCE
Session 2
GPCE
GPCE 2022/23 Most Influential Papers
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 XV
GPCE
GPCE Tutorial
GPCE
GPCE/SLE Keynote
GPCE
Session 3
GPCE
Session 4
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 XV
DLS
Looking Outward
DLS
Looking Inward
DLS
The Future of Runtimes
DLS
Beyond the Language
Sun 22 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 XV
GPCE
GPCE Welcome by Chairs
11:00 - 11:30
GPCE
Generating Conforming Programs With Xsmith
11:30 - 12:00
GPCE
Multi-Stage Vertex-Centric Programming for Agent-Based Simulations
12:00 - 12:30
GPCE
A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture ...
14:00 - 14:30
GPCE
A Monadic Framework for Name Resolution in Multi-Phased Type Checkers
14:30 - 15:00
GPCE
C2TACO: Lifting Tensor Code to TACO
15:00 - 15:30
GPCE
GPCE 2022 Most Influential Paper - Xbase: Implementing Domain-Specific ...
16:00 - 16:40
GPCE
GPCE 2023 Most Influential Paper - Don’t Underestimate the Importance o ...
16:40 - 17:20
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 XV
GPCE
GPCE Tutorial - Compile-time generative programming for OCaml: flexible ...
09:00 - 10:30
GPCE
Coccinelle: Impact and Internals
11:00 - 12:30
GPCE
Crossover: Towards Compiler-enabled COBOL-C Interoperability
14:00 - 14:30
GPCE
Partial Evaluation of Automatic Differentiation for Differential-Algebr ...
14:30 - 15:00
GPCE
Generating Constraint Programs for Variability Model Reasoning: A DSL a ...
15:00 - 15:30
GPCE
Virtual Domain Specific Languages via Embedded Projectional Editing
16:00 - 16:30
GPCE
Unleashing the Power of Implicit Feedback in Software Product Lines: Be ...
16:30 - 17:00
GPCE
Automatically Generated Supernodes for AST Interpreters Improve Virtual ...
17: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 XV
DLS
Is Polyglot Programming Really a Thing?
09:00 - 09:30
DLS
The importance of facing outwards: why dynamic languages can and should ...
09:30 - 10:00
DLS
Going Static, Gradually: Semantic Soundness and Telling the Truth at Scale
10:00 - 10:30
DLS
All Languages are Dynamic
11:00 - 11:30
DLS
Are we Heading Towards a Dynamic Language Winter?
11:30 - 12:00
DLS
Prof. Strangelove or: How I Learned to Stop Worrying and Love Dynamic L ...
12:00 - 12:30
DLS
JITs are Nice, but Why Aren’t We Using Them?
14:00 - 14:30
DLS
Keeping the asm in Wasm – Running high-level languages on a low-level VM
14:30 - 15:00
DLS
Language Runtimes for the New Cloud Era
15:00 - 15:30
DLS
Programming Languages for AI Programing Agents
16:00 - 16:30
DLS
The Bright Future of Debuggers: Challenges and Opportunities
16:30 - 17:00
DLS
Most Notable Paper Award
17:00 - 17:05
x
Sun 24 Nov 01:11