ProWeb 2022
Dates to be announced
co-located with ‹Programming› 2022
‹Programming› 2022 (series) / ProWeb 2022 (series) / Online /

Room information: Virtual Space

VenueOnline
Room nameVirtual Space
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 11 Apr

Displayed time zone: Lisbon change

06:00 - 09:00
‹Programming› Online Monday‹Programming› / ‹Programming› Research Papers at Virtual Space
Chair(s): Jonathan Edwards
06:00
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
06:15
25m
Research paper
Type Checking Extracted MethodsVol. 6
‹Programming› Research Papers
Yuquan FU , Sam Tobin-Hochstadt Indiana University
Link to publication
06:40
25m
Research paper
Types for Tables: A Language Design BenchmarkEditors’ AwardVol. 6
‹Programming› Research Papers
Kuang-Chen Lu Brown University, USA, Ben Greenman Brown University, Shriram Krishnamurthi Brown University, United States
Link to publication
07:05
25m
Research paper
Continuation-Passing Style, Defunctionalization, Accumulations, and AssociativityReviewers’ AwardVol. 6
‹Programming› Research Papers
Jeremy Gibbons Department of Computer Science, University of Oxford
Link to publication
07:30
25m
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

Tue 12 Apr

Displayed time zone: Lisbon change

06:00 - 09:00
‹Programming› Online Tuesday‹Programming› Research Papers / ‹Programming› at Virtual Space
Chair(s): Theo D'Hondt Vrije Universiteit Brussel
06:00
25m
Talk
Day 2 Opening | Bitrot Revisited: Local First Software and Orthogonal Synchronization
‹Programming›
Gilad Bracha F5
06:25
25m
Research paper
A Transient Semantics for Typed RacketVol. 6
‹Programming› Research Papers
Ben Greenman Brown University, Lukas Lazarek Northwestern University, Christos Dimoulas PLT @ Northwestern University, Matthias Felleisen Northeastern University
Link to publication
06:50
25m
Research paper
A Functional Programming Language with VersionsVol. 6
‹Programming› Research Papers
Yudai Tanabe Tokyo Institute of Technology, Luthfan Anshar Lubis , Tomoyuki Aotani Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology
Link to publication
07:15
25m
Research paper
An Optimised Flow for Futures: From Theory to PracticeVol. 6
‹Programming› Research Papers
Nicolas Chappe , Ludovic Henrio CNRS, Amaury Maillé CNRS, Matthieu Moy CNRS, Hadrien Renaud CNRS
Link to publication

Wed 13 Apr

Displayed time zone: Lisbon change

06:00 - 09:00
‹Programming› Online Wednesday‹Programming› Research Papers / ‹Programming› at Virtual Space
Chair(s): Emma Söderberg Lund University
06:00
25m
Other
Day 3 Opening | Games & Social
‹Programming›
Eva Krebs Hasso Plattner Institute (HPI), University of Potsdam, Germany, Robert Hirschfeld HPI, University of Potsdam
06:25
25m
Research paper
Figuring and Drawing: a visual approach to principled programmingVol. 6
‹Programming› Research Papers
Elpida Keravnou-Papailiou University of Cyprus
06:50
25m
Research paper
Automated, Targeted Testing of Property-Based Testing PredicatesVol. 6
‹Programming› Research Papers
Tim Nelson Brown University, Elijah Rivera , Sam Soucie Indiana University, Thomas Del Vecchio Brown University, John Wrenn Brown University, Shriram Krishnamurthi Brown University, United States
Link to publication
07:15
25m
Research paper
Deriving Static Security Testing from Runtime Security Protection for Web ApplicationsVol. 6
‹Programming› Research Papers
Angel Luis Scull Pupo Sofware Languages Lab, Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
Link to publication

Thu 14 Apr

Displayed time zone: Lisbon change

06:00 - 09:00
‹Programming› Online Thursday‹Programming› Research Papers / ‹Programming› at Virtual Space
Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford
06:00
25m
Talk
Day 4 Opening | N Things I Hate About \nu*
‹Programming›
James Noble Creative Research & Programming
06:25
25m
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
06:50
25m
Research paper
Sham: A DSL for Fast DSLsVol. 6
‹Programming› Research Papers
Rajan Walia Indiana University, Chung-chieh Shan Indiana University, USA, Sam Tobin-Hochstadt Indiana University
Link to publication
07:15
25m
Research paper
Debootstrapping without archeology: Stacked implementations in CamlbootVol. 6
‹Programming› Research Papers
Nathanaëlle Courant INRIA, Julien Lepiller Yale University, Gabriel Scherer INRIA Saclay
07:40
25m
Other
Conference Closing
‹Programming›
G: Ademar Aguiar FEUP, Universidade do Porto, G: Shigeru Chiba The University of Tokyo

Mon 11 Apr

Displayed time zone: Lisbon change

Room6:00307:00308:0030
Virtual Space

‹Programming› + ‹Programming› Research Papers

‹Programming› Online Monday

Tue 12 Apr

Displayed time zone: Lisbon change

Room6:00307:00308:0030
Virtual Space

‹Programming› Research Papers + ‹Programming›

‹Programming› Online Tuesday

Wed 13 Apr

Displayed time zone: Lisbon change

Room6:00307:00308:0030
Virtual Space

‹Programming› Research Papers + ‹Programming›

‹Programming› Online Wednesday

Thu 14 Apr

Displayed time zone: Lisbon change

Room6:00307:00308:0030
Virtual Space

‹Programming› Research Papers + ‹Programming›

‹Programming› Online Thursday

Mon 11 Apr

Displayed time zone: Lisbon change

Room6:001530457:00153045
Virtual Space
‹Programming›
Conference Opening
06:00 - 06:15
‹Programming› Research PapersVol. 6
Type Checking Extracted Methods
06:15 - 06:40
‹Programming› Research PapersEditors’ AwardVol. 6
Types for Tables: A Language Design Benchmark
06:40 - 07:05
‹Programming› Research PapersReviewers’ AwardVol. 6
Continuation-Passing Style, Defunctionalization, Accumulations, and Ass ...
07:05 - 07:30
‹Programming› Research PapersVol. 6
The Art of the Meta Stream Protocol: Torrents of Streams
07:30 - 07:55

Tue 12 Apr

Displayed time zone: Lisbon change

Room6:001530457:00153045
Virtual Space
‹Programming›
Day 2 Opening | Bitrot Revisited: Local First Software and Orthogonal S ...
06:00 - 06:25
‹Programming› Research PapersVol. 6
A Transient Semantics for Typed Racket
06:25 - 06:50
‹Programming› Research PapersVol. 6
A Functional Programming Language with Versions
06:50 - 07:15
‹Programming› Research PapersVol. 6
An Optimised Flow for Futures: From Theory to Practice
07:15 - 07:40

Wed 13 Apr

Displayed time zone: Lisbon change

Room6:001530457:00153045
Virtual Space
‹Programming›
Day 3 Opening | Games & Social
06:00 - 06:25
‹Programming› Research PapersVol. 6
Figuring and Drawing: a visual approach to principled programming
06:25 - 06:50
‹Programming› Research PapersVol. 6
Automated, Targeted Testing of Property-Based Testing Predicates
06:50 - 07:15
‹Programming› Research PapersVol. 6
Deriving Static Security Testing from Runtime Security Protection for W ...
07:15 - 07:40

Thu 14 Apr

Displayed time zone: Lisbon change

Room6:001530457:001530458:00153045
Virtual Space
‹Programming›
Day 4 Opening | N Things I Hate About \nu*
06:00 - 06:25
‹Programming› Research PapersVol. 6
Topology-level Reactivity in Distributed Reactive Programs: Reactive Ac ...
06:25 - 06:50
‹Programming› Research PapersVol. 6
Sham: A DSL for Fast DSLs
06:50 - 07:15
‹Programming› Research PapersVol. 6
Debootstrapping without archeology: Stacked implementations in Camlboot
07:15 - 07:40
‹Programming›
Conference Closing
07:40 - 08:05