ProWeb 2022
Dates to be announced
co-located with
‹Programming› 2022
Toggle navigation
Attending
Venue: Online
Venue: FEUP | Universidade do Porto
Reception: Clube Universitário do Porto
Cocktail: Praia da Luz
Banquet: Port Wine Cellars, Porto
Restaurants & Bars: Porto
Program
ProWeb Program
Your Program
Sat 31 Dec
Track/Call
Organization
ProWeb 2022 Committees
Track Committees
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
ProWeb 2022
ProWeb21
ProWeb20
ProWeb'19
ProWeb 2018
ProWeb 2017
Sign in
Sign up
‹Programming› 2022
(
series
) /
ProWeb 2022 (
series
) /
FEUP | Universidade do Porto
/
Room information: Auditorium Nobre
Venue
FEUP | Universidade do Porto
Room name
Auditorium Nobre
Floor
0
Room number
B 032
Capacity
88
Room Information
Room location, by Google
Room information, by FEUP
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT) Lisbon
.
Use conference time zone: (GMT) Lisbon
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07: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-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05: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-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03: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-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02: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 21 Mar
Displayed time zone:
Lisbon
change
09:00 - 10:00
ELS I
ELS
at
Auditorium Nobre
09:00
15m
Talk
Welcome Message
ELS
09:15
45m
Talk
Research Paper: Open Closures: Disclosing lambda's inner monomaniac object!
ELS
Stefan Monnier
Université de Montréal
10:30 - 12:00
ELS II
ELS
at
Auditorium Nobre
10:30
60m
Talk
Lisp as Renaissance Workshop: A Lispy Tour through Mathematical Physics
ELS Keynote
ELS
Sam Ritchie
Mentat Collective
13:30 - 15:00
ELS III
ELS
at
Auditorium Nobre
13:30
30m
Talk
Research Paper: QueryFS: compiling queries to define a filesystem
ELS
Michael Raskin
Université de Bordeaux / LaBRI
14:00
30m
Talk
Research Paper: A CLOS protocol for lexical environments
ELS
Robert Strandh
,
Irène Anne Durand
Inria Bordeaux
14:30
30m
Talk
IoT devices and embedded systems with uLisp
Demo
ELS
Max-Gerd Retzlaff
15:30 - 17:00
ELS IV
ELS
at
Auditorium Nobre
15:30
30m
Talk
Research Paper: Closing the Performance Gap Between Lisp and C
ELS
Marco Heisig
,
Harald Koestler
16:00
30m
Talk
April APL Compiler
Remote
Demo
ELS
Andrew Sengul
16:30
30m
Talk
Enlightening Lightning Talks
ELS
Tue 22 Mar
Displayed time zone:
Lisbon
change
09:00 - 10:00
ELS V
ELS
at
Auditorium Nobre
09:00
30m
Talk
Research Paper: An Ontology-Based Dialogue Managment Framework for Virtual Personal Assistants in Common Lisp
Remote
ELS
Michael Wessel
09:30
30m
Talk
Demo: ETAP: Experimental Typesetting Algorithms Platform
Demo
ELS
Didier Verna
EPITA / LRDE
10:30 - 12:00
ELS VI
ELS
at
Auditorium Nobre
10:30
60m
Talk
Creating a Common Lisp Implementation
ELS Keynote
ELS
Robert Strandh
11:30
30m
Talk
SICL demo
ELS
13:30 - 15:00
ELS VII
ELS
at
Auditorium Nobre
13:30
30m
Talk
TBA
ELS
14:00
60m
Keynote
Building SICMUtils, the Atelier of Abstractions
ELS Keynote
ELS
Sam Ritchie
Mentat Collective
15:30 - 17:00
ELS VIII
ELS
at
Auditorium Nobre
15:30
30m
Talk
Enlightening Lightning Talks
ELS
16:00
30m
Talk
Research Paper: RacketLogger: Logging and Visualising Changes in DrRacket
ELS
Turgut Reis Kursun
VUB
,
Jens Van der Plas
Software Languages Lab, Vrije Universiteit Brussel
,
Quentin Stiévenart
Vrije Universiteit Brussel
,
Coen De Roover
Vrije Universiteit Brussel
16:30
30m
Talk
Research Paper: Transpiling Python to Julia using PyJL
ELS
Miguel Marcelino
,
António Menezes Leitão
Technical University of Lisbon, Portugal
Wed 23 Mar
Displayed time zone:
Lisbon
change
08:45 - 09:00
Conference Opening
‹Programming›
/
‹Programming› Social Events
/
‹Programming› Research Papers
at
Auditorium Nobre
08:45
15m
Other
Conference Opening
‹Programming›
G:
Ademar Aguiar
FEUP, Universidade do Porto
,
A:
Emma Söderberg
Lund University
,
S:
Guido Salvaneschi
University of St. Gallen
09:00 - 10:00
Crista Lopes
‹Programming› Keynotes
at
Auditorium Nobre
Chair(s):
Theo D'Hondt
Vrije Universiteit Brussel
09:00
60m
Keynote
The Curious Case of Code Duplication in GitHub
‹Programming› Keynote
‹Programming› Keynotes
K:
Crista Lopes
University of California, Irvine
10:30 - 12:00
Compiler Construction
‹Programming› Research Papers
at
Auditorium Nobre
Chair(s):
Coen De Roover
Vrije Universiteit Brussel
10:30
30m
Talk
Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System
Vol. 4
‹Programming› Research Papers
Jeff Smits
Delft University of Technology, Netherlands
,
Gabriël Konat
Delft University of Technology
,
Eelco Visser
Delft University of Technology
Link to publication
DOI
Pre-print
11:00
30m
Talk
Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute Grammars
Vol. 4
‹Programming› Research Papers
Johannes Mey
Technische Universität Dresden
,
Thomas Kühn
Karlsruhe Institute of Technology
,
René Schöne
Technische Universität Dresden
,
Uwe Aßmann
TU Dresden, Germany
Link to publication
DOI
Pre-print
13:30 - 15:00
Testing & Analysis
‹Programming› Research Papers
at
Auditorium Nobre
Chair(s):
Emma Söderberg
Lund University
13:30
30m
Talk
Prioritising Server Side Reachability via Inter-process Concolic Testing
Vol. 5
‹Programming› Research Papers
Maarten Vandercammen
Vrije Universiteit Brussel
,
Laurent Christophe
VUB
,
Dario Di Nucci
University of Salerno
,
Wolfgang De Meuter
Vrije Universiteit Brussel
,
Coen De Roover
Vrije Universiteit Brussel
Link to publication
DOI
14:00
30m
Talk
Did JHotDraw respect the Law of Good Style? - A deep dive into the nature of false positives of bad code smells
Vol. 4
Editors’ Award
‹Programming› Research Papers
Daniel Speicher
cronn GmbH, Bonn
Link to publication
DOI
Pre-print
15:30 - 16:30
End-user Programming
‹Programming› Research Papers
at
Auditorium Nobre
Chair(s):
Jonathan Edwards
15:30
30m
Talk
Bacatá: Notebooks for DSLs, Almost for Free
Vol. 4
‹Programming› Research Papers
Mauricio Verano Merino
Vrije Universiteit Amsterdam
,
Jurgen Vinju
CWI; Eindhoven University of Technology
,
Tijs van der Storm
CWI; University of Groningen
Link to publication
DOI
Pre-print
16:00
30m
Talk
Foundations of a live data exploration environment
Reviewers’ Award
Vol. 4
‹Programming› Research Papers
Tomas Petricek
University of Kent
Link to publication
DOI
Pre-print
16:30 - 17:00
Announcements
‹Programming›
/
‹Programming› Social Events
/
‹Programming› Research Papers
at
Auditorium Nobre
Thu 24 Mar
Displayed time zone:
Lisbon
change
08:45 - 09:00
Awards
‹Programming›
at
Auditorium Nobre
08:45
15m
Awards
Awards
‹Programming›
09:00 - 10:00
Sam Ritchie
‹Programming› Keynotes
at
Auditorium Nobre
09:00
60m
Keynote
The Road to Reality: Interactive Physics from Eval to Einstein
‹Programming› Keynote
‹Programming› Keynotes
K:
Sam Ritchie
Mentat Collective
10:30 - 12:00
Functional Programming
‹Programming› Research Papers
at
Auditorium Nobre
Chair(s):
Stefan Marr
University of Kent
10:30
30m
Research paper
The Art of the Meta Stream Protocol: Torrents of Streams
Vol. 6
‹Programming› Research Papers
Christophe De Troyer
Vrije Universiteit Brussel
,
Jens Nicolay
Vrije Universiteit Brussel
,
Wolfgang De Meuter
Vrije Universiteit Brussel
Link to publication
11:00
30m
Research paper
Topology-level Reactivity in Distributed Reactive Programs: Reactive Acquaintance Management using Proximity Sets
Vol. 6
‹Programming› Research Papers
Sam Van den Vonder
Vrije Universiteit Brussel
,
Thierry Renaux
Vrije Universiteit Brussel
,
Wolfgang De Meuter
Vrije Universiteit Brussel
Link to publication
DOI
11:30
30m
Research paper
United Monoids: Finding Simplicial Sets and Labelled Algebraic Graphs in Trees
Vol. 6
‹Programming› Research Papers
Andrey Mokhov
Jane Street
Link to publication
13:30 - 15:00
Concurrency & Synchronization
‹Programming› Research Papers
at
Auditorium Nobre
Chair(s):
Ademar Aguiar
FEUP, Universidade do Porto
13:30
30m
Talk
Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay
Vol. 5
‹Programming› Research Papers
Dominik Aumayr
Johannes Kepler University Linz, Austria
,
Stefan Marr
University of Kent
,
Sophie Kaleba
University of Kent
,
Elisa Gonzalez Boix
Vrije Universiteit Brussel, Belgium
,
Hanspeter Mössenböck
JKU Linz
Link to publication
DOI
14:00
30m
Talk
Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions
Vol. 5
‹Programming› Research Papers
Tim Soethout
ING Bank; CWI
,
Tijs van der Storm
CWI; University of Groningen
,
Jurgen Vinju
CWI; Eindhoven University of Technology
Link to publication
DOI
14:30
30m
Research paper
An Optimised Flow for Futures: From Theory to Practice
Vol. 6
‹Programming› Research Papers
Nicolas Chappe
,
Ludovic Henrio
CNRS
,
Amaury Maillé
CNRS
,
Matthieu Moy
CNRS
,
Hadrien Renaud
CNRS
Link to publication
15:30 - 16:15
Conference Closing
‹Programming›
/
‹Programming› Social Events
/
‹Programming› Research Papers
at
Auditorium Nobre
15:30
45m
Other
Conference Closing
‹Programming›
G:
Ademar Aguiar
FEUP, Universidade do Porto
,
G:
Shigeru Chiba
The University of Tokyo
Mon 21 Mar
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
Auditorium Nobre
ELS
ELS I
ELS
ELS II
ELS
ELS III
ELS
ELS IV
Tue 22 Mar
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
Auditorium Nobre
ELS
ELS V
ELS
ELS VI
ELS
ELS VII
ELS
ELS VIII
Wed 23 Mar
Displayed time zone:
Lisbon
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Auditorium Nobre
‹Programming› + ‹Programming› Social Events + ‹Programming› Research Papers
Conference Opening
‹Programming› Keynotes
Crista Lopes
‹Programming› Research Papers
Compiler Construction
‹Programming› Research Papers
Testing & Analysis
‹Programming› Research Papers
End-user Programming
‹Programming› + ‹Programming› Social Events + ‹Programming› Research Papers
Announcements
Thu 24 Mar
Displayed time zone:
Lisbon
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Auditorium Nobre
‹Programming›
Awards
‹Programming› Keynotes
Sam Ritchie
‹Programming› Research Papers
Functional Programming
‹Programming› Research Papers
Concurrency & Synchronization
‹Programming› + ‹Programming› Social Events + ‹Programming› Research Papers
Conference Closing
Mon 21 Mar
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
Auditorium Nobre
ELS
Welcome Message
09:00 - 09:15
ELS
Research Paper: Open Closures: Disclosing lambda's inner monomaniac object!
09:15 - 10:00
ELS
ELS Keynote
Lisp as Renaissance Workshop: A Lispy Tour through Mathematical Physics
10:30 - 11:30
ELS
Research Paper: QueryFS: compiling queries to define a filesystem
13:30 - 14:00
ELS
Research Paper: A CLOS protocol for lexical environments
14:00 - 14:30
ELS
Demo
IoT devices and embedded systems with uLisp
14:30 - 15:00
ELS
Research Paper: Closing the Performance Gap Between Lisp and C
15:30 - 16:00
ELS
Remote
Demo
April APL Compiler
16:00 - 16:30
ELS
Enlightening Lightning Talks
16:30 - 17:00
Tue 22 Mar
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
Auditorium Nobre
ELS
Remote
Research Paper: An Ontology-Based Dialogue Managment Framework for Virt ...
09:00 - 09:30
ELS
Demo
Demo: ETAP: Experimental Typesetting Algorithms Platform
09:30 - 10:00
ELS
ELS Keynote
Creating a Common Lisp Implementation
10:30 - 11:30
ELS
SICL demo
11:30 - 12:00
ELS
TBA
13:30 - 14:00
ELS
ELS Keynote
Building SICMUtils, the Atelier of Abstractions
14:00 - 15:00
ELS
Enlightening Lightning Talks
15:30 - 16:00
ELS
Research Paper: RacketLogger: Logging and Visualising Changes in DrRacket
16:00 - 16:30
ELS
Research Paper: Transpiling Python to Julia using PyJL
16:30 - 17:00
Wed 23 Mar
Displayed time zone:
Lisbon
change
Room
8:00
15
30
45
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
Auditorium Nobre
‹Programming›
Conference Opening
08:45 - 09:00
‹Programming› Keynotes
‹Programming› Keynote
The Curious Case of Code Duplication in GitHub
09:00 - 10:00
‹Programming› Research Papers
Vol. 4
Constructing Hybrid Incremental Compilers for Cross-Module Extensibilit ...
10:30 - 11:00
‹Programming› Research Papers
Vol. 4
Reusing Static Analysis across Different Domain-Specific Languages usin ...
11:00 - 11:30
‹Programming› Research Papers
Vol. 5
Prioritising Server Side Reachability via Inter-process Concolic Testing
13:30 - 14:00
‹Programming› Research Papers
Vol. 4
Editors’ Award
Did JHotDraw respect the Law of Good Style? - A deep dive into the natu ...
14:00 - 14:30
‹Programming› Research Papers
Vol. 4
Bacatá: Notebooks for DSLs, Almost for Free
15:30 - 16:00
‹Programming› Research Papers
Reviewers’ Award
Vol. 4
Foundations of a live data exploration environment
16:00 - 16:30
Thu 24 Mar
Displayed time zone:
Lisbon
change
Room
8:00
15
30
45
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
Auditorium Nobre
‹Programming›
Awards
08:45 - 09:00
‹Programming› Keynotes
‹Programming› Keynote
The Road to Reality: Interactive Physics from Eval to Einstein
09:00 - 10:00
‹Programming› Research Papers
Vol. 6
The Art of the Meta Stream Protocol: Torrents of Streams
10:30 - 11:00
‹Programming› Research Papers
Vol. 6
Topology-level Reactivity in Distributed Reactive Programs: Reactive Ac ...
11:00 - 11:30
‹Programming› Research Papers
Vol. 6
United Monoids: Finding Simplicial Sets and Labelled Algebraic Graphs i ...
11:30 - 12:00
‹Programming› Research Papers
Vol. 5
Capturing High-level Nondeterminism in Concurrent Programs for Practica ...
13:30 - 14:00
‹Programming› Research Papers
Vol. 5
Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distribu ...
14:00 - 14:30
‹Programming› Research Papers
Vol. 6
An Optimised Flow for Futures: From Theory to Practice
14:30 - 15:00
‹Programming›
Conference Closing
15:30 - 16:15
x
Sun 22 Dec 11:16