ProWeb21
Mon 22 - Fri 26 March 2021 Online, United Kingdom
co-located with ‹Programming› 2021
VenueOnline
Room nameVirtual Space A
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 22 Mar

Displayed time zone: Belfast change

11:30 - 12:30
The Death and Life of American Cities (Jacobs, 1961)Salon Littéraire at Virtual Space A
Chair(s): Tomas Petricek University of Kent
11:30
60m
Talk
The Death and Life of American Cities (Jacobs, 1961)
Salon Littéraire
F: Tomas Petricek University of Kent
13:00 - 14:30
Session The First: SpoofaxCoCoDo at Virtual Space A
Chair(s): Vadim Zaytsev University of Twente, Netherlands
13:00
90m
Talk
A Tutorial on the Spoofax Language Workbench
CoCoDo
Eelco Visser Delft University of Technology
15:00 - 16:30
Session The Second: SmalltalkCoCoDo at Virtual Space A
Chair(s): Johan Fabry Raincode Labs, Belgium
15:00
90m
Talk
An Interactive Exploration of a Simple Compiler
CoCoDo
Marcus Denker INRIA Lille
17:00 - 19:00
Session The Third: LLVMCoCoDo at Virtual Space A
Chair(s): Vadim Zaytsev University of Twente, Netherlands
17:00
2h
Talk
From Abstract Syntax Trees to Machine Code with LLVM
CoCoDo
Dimi Racordon University of Geneva, Switzerland

Tue 23 Mar

Displayed time zone: Belfast change

11:30 - 12:30
Seeing Like a State (Scott, 1998)Salon Littéraire at Virtual Space A
Chair(s): Antranig Basman Raising the Floor - International, Luke Church University of Cambridge | Lund University | Lark Systems
11:30
60m
Talk
Seeing Like a State (Scott, 1998)
Salon Littéraire
F: Antranig Basman Raising the Floor - International, Luke Church University of Cambridge | Lund University | Lark Systems
12:55 - 14:30
Optimizing Dynamic LanguagesMoreVMs at Virtual Space A
Chair(s): Fabio Niephaus Hasso Plattner Institute, University of Potsdam
12:55
5m
Day opening
Welcome
MoreVMs
Fabio Niephaus Hasso Plattner Institute, University of Potsdam, David Leopoldseder Oracle Labs
13:00
60m
Talk
YJIT: Building a New JIT Compiler Inside CRubyMoreVMs Invited Talk
MoreVMs
Media Attached
14:00
30m
Talk
Caching Hidden Classes for Pre-transitioning Object Memory Layout in JavaScript
MoreVMs
Tomoharu Ugawa University of Tokyo, Stefan Marr University of Kent, Richard Jones University of Kent
Media Attached
15:00 - 16:30
Performance and BenchmarkingMoreVMs at Virtual Space A
Chair(s): Sophie Kaleba University of Kent
15:00
30m
Talk
The Strange and Wondrous Life of Functions in Ř
MoreVMs
Jan Ječmen FIT CTU Prague, Olivier Flückiger Northeastern University, Sebastián Krynski Czech Technical University, National University of Quilmes, Jan Vitek Northeastern University / Czech Technical University
Media Attached
15:30
30m
Talk
Successes and Challenges in Bringing Performance to Java with Inline Types
MoreVMs
Media Attached File Attached
16:00
30m
Talk
Towards a Synthetic Benchmark to Assess VM Startup, Warmup, and Cold-Code Performance
MoreVMs
Stefan Marr University of Kent
Media Attached

Wed 24 Mar

Displayed time zone: Belfast change

12:45 - 13:00
12:45
15m
Other
Conference Opening
‹Programming›
G: Luke Church University of Cambridge | Lund University | Lark Systems
13:00 - 14:00
Keynote I‹Programming› Keynotes at Virtual Space A
Chair(s): Luke Church University of Cambridge | Lund University | Lark Systems
13:00
60m
Keynote
Opening Keynote: Sharath Srinivasan: Politics in Language and Language in Politics‹Programming› Keynote
‹Programming› Keynotes
14:00 - 14:30
Session 1‹Programming› Research Papers at Virtual Space A
Chair(s): Luke Church University of Cambridge | Lund University | Lark Systems
14:00
30m
Live Q&A
Transparent Synchronous Dataflow
‹Programming› Research Papers
Steven Cheung University of Birmingham, UK, Dan Ghica University of Birmingham, Koko Muroya RIMS, Kyoto University, JP
DOI Media Attached
15:00 - 16:30
Session 3‹Programming› Research Papers at Virtual Space A
Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford
15:00
30m
Live Q&A
Using Relational Problems to Teach Property-Based Testing
‹Programming› Research Papers
John Wrenn Brown University, Tim Nelson Brown University, Shriram Krishnamurthi Brown University, United States
DOI Media Attached
15:30
30m
Live Q&A
Bacatá: Notebooks for DSLs, Almost for Free
‹Programming› Research Papers
Mauricio Verano Merino Technische Universiteit Eindhoven, Jurgen Vinju CWI, Netherlands, Tijs van der Storm CWI & University of Groningen, Netherlands
DOI Media Attached
16:00
30m
Live Q&A
Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute Grammars
‹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
DOI Media Attached
17:00 - 17:30
Conversation Starters I‹Programming› Conversation Starters at Virtual Space A
Chair(s): Emma Söderberg Lund University
17:00
30m
Live Q&A
Programming "systems" deserve a theory too!
‹Programming› Conversation Starters
Joel Jakubovic University of Kent, Jonathan Edwards , Tomas Petricek University of Kent
17:30 - 19:00
Session 5‹Programming› Research Papers at Virtual Space A
Chair(s): Stefan Marr University of Kent
17:30
30m
Live Q&A
Did JHotDraw Respect the Law of Good Style?: A deep dive into the nature of false positives of bad code smells
‹Programming› Research Papers
Daniel Speicher Bonn-Aachen International Center for Information Technology, B-IT
DOI Media Attached
18:00
30m
Live Q&A
Advanced Join Patterns for the Actor Model based on CEP Techniques
‹Programming› Research Papers
Humberto Rodriguez Avila Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
DOI Media Attached
18:30
30m
Live Q&A
Finding Bugs with Specification-Based Testing is Easy!
‹Programming› Research Papers
Janice Chin , David J. Pearce Victoria University of Wellington, New Zealand
DOI Media Attached
19:30 - 20:30
How Buildings Learn: What Happens After They are Built (Brand, 1995)Salon Littéraire at Virtual Space A
Chair(s): Mariana Marasoiu University of Cambridge
19:30
60m
Talk
How Buildings Learn: What Happens After They are Built (Brand, 1995)
Salon Littéraire
F: Mariana Marasoiu University of Cambridge

Thu 25 Mar

Displayed time zone: Belfast change

13:00 - 14:30
13:00
30m
Live Q&A
Transparent Synchronous Dataflow
‹Programming› Research Papers
Steven Cheung University of Birmingham, UK, Dan Ghica University of Birmingham, Koko Muroya RIMS, Kyoto University, JP
DOI Media Attached
13:30
30m
Live Q&A
Consistency types for replicated data in a higher-order distributed programming language
‹Programming› Research Papers
Xin Zhao KTH Royal Institute of Technology, Philipp Haller KTH
DOI Media Attached
14:00
30m
Live Q&A
Jupyter Notebooks on GitHub: Characteristics and Code Clones
‹Programming› Research Papers
Malin Källén Uppsala University, Tobias Wrigstad Uppsala University, Sweden
DOI Media Attached
15:00 - 16:30
Session 9‹Programming› Research Papers at Virtual Space A
Chair(s): Ademar Aguiar FEUP, Universidade do Porto
15:00
30m
Live Q&A
Bacatá: Notebooks for DSLs, Almost for Free
‹Programming› Research Papers
Mauricio Verano Merino Technische Universiteit Eindhoven, Jurgen Vinju CWI, Netherlands, Tijs van der Storm CWI & University of Groningen, Netherlands
DOI Media Attached
15:30
30m
Live Q&A
Prioritising Server Side Reachability via Inter-process Concolic Testing
‹Programming› Research Papers
Maarten Vandercammen Vrije Universiteit Brussel, Laurent Christophe VUB, Dario Di Nucci Tilburg University, Wolfgang De Meuter Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel
Link to publication DOI Media Attached
16:00
30m
Live Q&A
Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions
‹Programming› Research Papers
Tim Soethout ING Bank and Centrum Wiskunde & Informatica (CWI), Tijs van der Storm CWI & University of Groningen, Netherlands, Jurgen Vinju CWI, Netherlands
DOI Media Attached
17:00 - 17:30
Conversation Starters III‹Programming› Conversation Starters at Virtual Space A
Chair(s): Emma Söderberg Lund University
17:00
30m
Live Q&A
Hedy: A gradual programming language for children
‹Programming› Conversation Starters
Felienne Hermans Leiden University
17:30 - 19:00
Session 12‹Programming› Research Papers at Virtual Space A
Chair(s): Guido Salvaneschi University of St. Gallen
17:30
30m
Live Q&A
Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute Grammars
‹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
DOI Media Attached
18:00
30m
Live Q&A
Finding Bugs with Specification-Based Testing is Easy!
‹Programming› Research Papers
Janice Chin , David J. Pearce Victoria University of Wellington, New Zealand
DOI Media Attached
19:30 - 20:30
Decentralisation: An Incomplete Ambition (Schneider, 2019)Salon Littéraire at Virtual Space A
Chair(s): Clayton Lewis University of Colorado Boulder
19:30
60m
Talk
Decentralisation: An Incomplete Ambition (Schneider, 2019)
Salon Littéraire
F: Clayton Lewis University of Colorado Boulder

Fri 26 Mar

Displayed time zone: Belfast change

13:00 - 13:30
Conversation Starters V‹Programming› Conversation Starters at Virtual Space A
Chair(s): Patrick Rein Hasso Plattner Institute
13:00
30m
Demonstration
A Multi-Language IDE with Blocks at its Core
‹Programming› Conversation Starters
Tom Beckmann Hasso Plattner Institute
13:30 - 14:30
Session 14‹Programming› Research Papers at Virtual Space A
Chair(s): Hidehiko Masuhara Tokyo Institute of Technology
13:30
30m
Live Q&A
Advanced Join Patterns for the Actor Model based on CEP Techniques
‹Programming› Research Papers
Humberto Rodriguez Avila Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
DOI Media Attached
14:00
30m
Live Q&A
Consistency types for replicated data in a higher-order distributed programming language
‹Programming› Research Papers
Xin Zhao KTH Royal Institute of Technology, Philipp Haller KTH
DOI Media Attached
15:00 - 16:30
Session 16‹Programming› Research Papers at Virtual Space A
Chair(s): Theo D'Hondt Vrije Universiteit Brussel
15:00
30m
Live Q&A
Using Relational Problems to Teach Property-Based Testing
‹Programming› Research Papers
John Wrenn Brown University, Tim Nelson Brown University, Shriram Krishnamurthi Brown University, United States
DOI Media Attached
15:30
30m
Live Q&A
Reference Capabilities for Safe Parallel Array Programming
‹Programming› Research Papers
Beatrice Åkerblom Stockholm University, Elias Castegren KTH, Tobias Wrigstad Uppsala University, Sweden
DOI Media Attached
16:00
30m
Live Q&A
Lake symbols for island parsing
‹Programming› Research Papers
Katsumi Okuda The University of Tokyo / Mitsubishi Electric Corporation, Shigeru Chiba The University of Tokyo
DOI Media Attached
17:00 - 17:30
Session 18‹Programming› Research Papers at Virtual Space A
Chair(s): Jens Lincke Hasso Plattner Institute, University of Potsdam, Germany
17:00
30m
Live Q&A
Jupyter Notebooks on GitHub: Characteristics and Code Clones
‹Programming› Research Papers
Malin Källén Uppsala University, Tobias Wrigstad Uppsala University, Sweden
DOI Media Attached
17:30 - 18:30
Keynote II‹Programming› Keynotes at Virtual Space A
Chair(s): Luke Church University of Cambridge | Lund University | Lark Systems
17:30
60m
Keynote
Closing Keynote: Guy Steele: Generality—or Not—in a Domain-Specific Language‹Programming› Keynote
‹Programming› Keynotes
Guy L. Steele Jr. Oracle Labs
18:30 - 19:00
Conference Closing‹Programming› at Virtual Space A
Chair(s): Luke Church University of Cambridge | Lund University | Lark Systems
18:30
30m
Other
Conference Closing
‹Programming›
G: Luke Church University of Cambridge | Lund University | Lark Systems, Stefan Marr University of Kent, Jeremy Gibbons Department of Computer Science, University of Oxford, Ademar Aguiar FEUP, Universidade do Porto

Mon 22 Mar

Displayed time zone: Belfast change