ProWeb 2022
Dates to be announced
co-located with ‹Programming› 2022
VenueFEUP | Universidade do Porto
Room nameAuditorium Nobre
Floor0
Room numberB 032
Capacity88
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 22 Mar

Displayed time zone: Lisbon change

13:30 - 15:00
13:30
30m
Talk
TBA
ELS

14:00
60m
Keynote
Building SICMUtils, the Atelier of AbstractionsELS Keynote
ELS
Sam Ritchie Mentat Collective
15:30 - 17:00
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
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 SystemVol. 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 GrammarsVol. 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
15:30 - 16:30
15:30
30m
Talk
Bacatá: Notebooks for DSLs, Almost for FreeVol. 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 environmentReviewers’ AwardVol. 4
‹Programming› Research Papers
Tomas Petricek University of Kent
Link to publication DOI Pre-print

Thu 24 Mar

Displayed time zone: Lisbon change

08:45 - 09:00
08:45
15m
Awards
Awards
‹Programming›

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 StreamsVol. 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 SetsVol. 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 TreesVol. 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 & ReplayVol. 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 TransactionsVol. 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 PracticeVol. 6
‹Programming› Research Papers
Link to publication
15:30 - 16:15
15:30
45m
Other
Conference Closing
‹Programming›
G: Ademar Aguiar FEUP, Universidade do Porto, G: Shigeru Chiba The University of Tokyo