‹Programming› 2021
Mon 22 - Fri 26 March 2021 Online, United Kingdom
‹Programming› 2021 (series) / Online /

Room information: Virtual Space B

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

13:00 - 14:30
Session 1ProWeb21 at Virtual Space B
Chair(s): Andrea Stocco Università della Svizzera italiana (USI)
13:00
30m
Talk
Rec.HTML: Typed Declarative HTMLProWeb21
ProWeb21
Bob Reynders Chonnam National University, Kwanghoon Choi Chonnam National University
Pre-print
13:30
30m
Talk
Tamper-proof security mechanism against liar objects in JavaScript applicationsProWeb20
ProWeb21
Angel Luis Scull Pupo Sofware Languages Lab, Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Belgium, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
Pre-print
14:00
30m
Talk
Wassail: a WebAssembly Static Analysis LibraryProWeb21
ProWeb21
Quentin Stiévenart Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel
Pre-print
15:00 - 16:30
Session 2ProWeb21 at Virtual Space B
Chair(s): Simon Fowler University of Glasgow
15:00
60m
Keynote
Why Programming Languages for Distributed Systems are InevitableProWeb Keynote
ProWeb21
K: Guido Salvaneschi University of St. Gallen
16:00
30m
Talk
Evolution of the WebDSL RuntimeProWeb20
ProWeb21
Danny Groenewegen Delft University of Technology, Elmer van Chastelet Delft University of Technology, Eelco Visser Delft University of Technology
Pre-print
16:30
30m
Talk
Oron: Towards a Dynamic Analysis Instrumentation Platform for AssemblyScriptProWeb21
ProWeb21
Aäron Munsters Vrije Universiteit Brussel, Angel Luis Scull Pupo Sofware Languages Lab, Vrije Universiteit Brussel, Jim Bauwens Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
Pre-print
17:00 - 19:00
Session 3ProWeb21 at Virtual Space B

Tue 23 Mar

Displayed time zone: Belfast change

16:00 - 16:30
Intro talk: Open Applications InfrastructureOAF at Virtual Space B
Chair(s): Evgeny Ponomarev , Alexey Pyshnenko
16:00
30m
Talk
Intro talk: Open Applications Infrastructure
OAF
Evgeny Ponomarev
Link to publication
17:00 - 19:00
Hands-on π2π network choreographyOAF at Virtual Space B
Chair(s): Dmitry Kurinskiy
17:00
2h
Tutorial
Aquamarine: a new programming language for coordination in π2π networks
OAF
Dmitry Kurinskiy

Wed 24 Mar

Displayed time zone: Belfast change

14:00 - 14:30
Session 2Research Papers at Virtual Space B
15:00 - 16:30
Session 4Research Papers at Virtual Space B
Chair(s): Ademar Aguiar FEUP, Universidade do Porto
15:00
30m
Live Q&A
Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions
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
15:30
30m
Live Q&A
Interactive Music and Synchronous Reactive Programming
Research Papers
Bertrand Petit INRIA, France, Manuel Serrano Inria, France
DOI Media Attached
16:00
30m
Live Q&A
Programming Paradigms, Turing Completeness and Computational Thinking
Research Papers
Greg Michaelson Heriot-Watt University
DOI Media Attached
17:00 - 17:30
Conversation Starters IIConversation Starters at Virtual Space B
Chair(s): Patrick Rein Hasso Plattner Institute
17:00
30m
Live Q&A
Live IDEs in the WebBrowser: What's Holding Us Back?
Conversation Starters
Gilad Bracha Shape Security/F5 Networks
17:30 - 19:00
Session 6Research Papers at Virtual Space B
Chair(s): Ademar Aguiar FEUP, Universidade do Porto
17:30
30m
Live Q&A
Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System
Research Papers
Jeff Smits Delft University of Technology, Netherlands, Gabriël Konat Delft University of Technology, Eelco Visser Delft University of Technology
DOI Media Attached
18:00
30m
Live Q&A
Functional Programming in Pattern-Match-Oriented Programming Style
Research Papers
Satoshi Egi Rakuten Institute of Technology, Rakuten, Inc. / The University of Tokyo, Yuichi Nishiwaki The University of Tokyo
DOI Media Attached
18:30
30m
Live Q&A
Sthread: In-Vivo Model Checking of Multithreaded Programs
Research Papers
Gene Cooperman Northeastern University, Martin Quinson École Normale Supérieure Rennes
DOI Media Attached

Thu 25 Mar

Displayed time zone: Belfast change

13:00 - 14:30
Session 8Research Papers at Virtual Space B
Chair(s): Simon Fowler University of Glasgow
13:00
30m
Live Q&A
Sub-method, partial behavioral reflection with Reflectivity: Looking back on 10 years of use
Research Papers
Steven Costiou INRIA Lille, Vincent Aranega Université Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL, Marcus Denker INRIA Lille
DOI Media Attached
13:30
30m
Live Q&A
Reference Capabilities for Safe Parallel Array Programming
Research Papers
Beatrice Åkerblom Stockholm University, Elias Castegren KTH, Tobias Wrigstad Uppsala University, Sweden
DOI Media Attached
14:00
30m
Live Q&A
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices
Research Papers
Artur Sterz Philipps-Universität Marburg, Matthias Eichholz , Ragnar Mogk Technische Universität Darmstadt, Lars Baumgärtner Technische Universität Darmstadt, Pablo Graubner , Matthias Hollick , Mira Mezini TU Darmstadt, Germany, Bernd Freisleben Philipps-Universität Marburg
DOI Media Attached
15:00 - 16:30
Session 10Research Papers at Virtual Space B
Chair(s): Mariana Marasoiu University of Cambridge
15:00
30m
Live Q&A
Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System
Research Papers
Jeff Smits Delft University of Technology, Netherlands, Gabriël Konat Delft University of Technology, Eelco Visser Delft University of Technology
DOI Media Attached
15:30
30m
Live Q&A
Sthread: In-Vivo Model Checking of Multithreaded Programs
Research Papers
Gene Cooperman Northeastern University, Martin Quinson École Normale Supérieure Rennes
DOI Media Attached
17:00 - 17:30
Conversation Starters IVConversation Starters at Virtual Space B
Chair(s): Patrick Rein Hasso Plattner Institute
17:00
30m
Live Q&A
Are many heaps better than one?
Conversation Starters
Mario Wolczko Oracle Labs
17:30 - 19:00
Session 13Research Papers at Virtual Space B
Chair(s): Jens Lincke Hasso Plattner Institute, University of Potsdam, Germany
17:30
30m
Live Q&A
Interactive Music and Synchronous Reactive Programming
Research Papers
Bertrand Petit INRIA, France, Manuel Serrano Inria, France
DOI Media Attached
18:00
30m
Live Q&A
Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay
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, Austria
DOI Media Attached
18:30
30m
Live Q&A
Transparent Compiler and Runtime Specializations for Accelerating Managed Languages on FPGAs
Research Papers
Michail Papadimitriou University of Manchester, UK, Juan Fumero University of Manchester, UK, Athanasios Stratikopoulos The University of Manchester, Foivos S. Zakkak Red Hat, Inc., Christos Kotselidis KTM Innovation / The University of Manchester
DOI Media Attached

Fri 26 Mar

Displayed time zone: Belfast change

13:00 - 13:30
Conversation Starters VIConversation Starters at Virtual Space B
Chair(s): Emma Söderberg Lund University
13:00
30m
Live Q&A
Techniques for Mixed Consistency in Programming Languages
Conversation Starters
Mirko Köhler TU Darmstadt, Nafise Eskandani TU Darmstadt, Pascal Weisenburger TU Darmstadt, Guido Salvaneschi University of St. Gallen
13:30 - 14:30
Session 15Research Papers at Virtual Space B
Chair(s): Stefan Marr University of Kent
13:30
30m
Live Q&A
Transparent Compiler and Runtime Specializations for Accelerating Managed Languages on FPGAs
Research Papers
Michail Papadimitriou University of Manchester, UK, Juan Fumero University of Manchester, UK, Athanasios Stratikopoulos The University of Manchester, Foivos S. Zakkak Red Hat, Inc., Christos Kotselidis KTM Innovation / The University of Manchester
DOI Media Attached
14:00
30m
Live Q&A
Sub-method, partial behavioral reflection with Reflectivity: Looking back on 10 years of use
Research Papers
Steven Costiou INRIA Lille, Vincent Aranega Université Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL, Marcus Denker INRIA Lille
DOI Media Attached
15:00 - 16:30
Session 17Research Papers at Virtual Space B
Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
15:00
30m
Live Q&A
Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay
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, Austria
DOI Media Attached
15:30
30m
Live Q&A
Prioritising Server Side Reachability via Inter-process Concolic Testing
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
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices
Research Papers
Artur Sterz Philipps-Universität Marburg, Matthias Eichholz , Ragnar Mogk Technische Universität Darmstadt, Lars Baumgärtner Technische Universität Darmstadt, Pablo Graubner , Matthias Hollick , Mira Mezini TU Darmstadt, Germany, Bernd Freisleben Philipps-Universität Marburg
DOI Media Attached
17:00 - 17:30
Session 19Research Papers at Virtual Space B
Chair(s): Mariana Marasoiu University of Cambridge
17:00
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
Research Papers
Daniel Speicher Bonn-Aachen International Center for Information Technology, B-IT
DOI Media Attached

Mon 22 Mar

Displayed time zone: Belfast change

Room13:003014:003015:003016:003017:003018:0030
Virtual Space B

ProWeb21

Session 1

ProWeb21

Session 2

ProWeb21

Session 3

Tue 23 Mar

Displayed time zone: Belfast change

Room16:003017:003018:0030
Virtual Space B

OAF

Intro talk: Open Applications Infrastructure

OAF

Hands-on π2π network choreography

Wed 24 Mar

Displayed time zone: Belfast change

Room14:003015:003016:003017:003018:0030
Virtual Space B

Research Papers

Session 2

Research Papers

Session 4

Conversation Starters

Conversation Starters II

Research Papers

Session 6

Thu 25 Mar

Displayed time zone: Belfast change

Room13:003014:003015:003016:003017:003018:0030
Virtual Space B

Research Papers

Session 8

Research Papers

Session 10

Conversation Starters

Conversation Starters IV

Research Papers

Session 13

Fri 26 Mar

Displayed time zone: Belfast change

Room13:003014:003015:003016:003017:0030
Virtual Space B

Conversation Starters

Conversation Starters VI

Research Papers

Session 15

Research Papers

Session 17

Research Papers

Session 19

Mon 22 Mar

Displayed time zone: Belfast change

Room13:0015304514:0015304515:0015304516:00153045
Virtual Space B
ProWeb21ProWeb21
Rec.HTML: Typed Declarative HTML
13:00 - 13:30
ProWeb21ProWeb20
Tamper-proof security mechanism against liar objects in JavaScript appl ...
13:30 - 14:00
ProWeb21ProWeb21
Wassail: a WebAssembly Static Analysis Library
14:00 - 14:30
ProWeb21ProWeb Keynote
Why Programming Languages for Distributed Systems are Inevitable
15:00 - 16:00
ProWeb21ProWeb20
Evolution of the WebDSL Runtime
16:00 - 16:30
ProWeb21ProWeb21
Oron: Towards a Dynamic Analysis Instrumentation Platform for AssemblyS ...
16:30 - 17:00

Tue 23 Mar

Displayed time zone: Belfast change

Room16:0015304517:0015304518:00153045
Virtual Space B
OAF
Intro talk: Open Applications Infrastructure
16:00 - 16:30
OAF
Aquamarine: a new programming language for coordination in π2π networks
17:00 - 19:00

Wed 24 Mar

Displayed time zone: Belfast change

Room14:0015304515:0015304516:0015304517:0015304518:00153045
Virtual Space B
‹Programming› Research Papers
Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distribu ...
15:00 - 15:30
‹Programming› Research Papers
Interactive Music and Synchronous Reactive Programming
15:30 - 16:00
‹Programming› Research Papers
Programming Paradigms, Turing Completeness and Computational Thinking
16:00 - 16:30
‹Programming› Conversation Starters
Live IDEs in the WebBrowser: What's Holding Us Back?
17:00 - 17:30
‹Programming› Research Papers
Constructing Hybrid Incremental Compilers for Cross-Module Extensibilit ...
17:30 - 18:00
‹Programming› Research Papers
Functional Programming in Pattern-Match-Oriented Programming Style
18:00 - 18:30
‹Programming› Research Papers
Sthread: In-Vivo Model Checking of Multithreaded Programs
18:30 - 19:00

Thu 25 Mar

Displayed time zone: Belfast change

Room13:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Virtual Space B
‹Programming› Research Papers
Sub-method, partial behavioral reflection with Reflectivity: Looking ba ...
13:00 - 13:30
‹Programming› Research Papers
Reference Capabilities for Safe Parallel Array Programming
13:30 - 14:00
‹Programming› Research Papers
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices
14:00 - 14:30
‹Programming› Research Papers
Constructing Hybrid Incremental Compilers for Cross-Module Extensibilit ...
15:00 - 15:30
‹Programming› Research Papers
Sthread: In-Vivo Model Checking of Multithreaded Programs
15:30 - 16:00
‹Programming› Conversation Starters
Are many heaps better than one?
17:00 - 17:30
‹Programming› Research Papers
Interactive Music and Synchronous Reactive Programming
17:30 - 18:00
‹Programming› Research Papers
Capturing High-level Nondeterminism in Concurrent Programs for Practica ...
18:00 - 18:30
‹Programming› Research Papers
Transparent Compiler and Runtime Specializations for Accelerating Manag ...
18:30 - 19:00

Fri 26 Mar

Displayed time zone: Belfast change

Room13:0015304514:0015304515:0015304516:0015304517:00153045
Virtual Space B
‹Programming› Conversation Starters
Techniques for Mixed Consistency in Programming Languages
13:00 - 13:30
‹Programming› Research Papers
Transparent Compiler and Runtime Specializations for Accelerating Manag ...
13:30 - 14:00
‹Programming› Research Papers
Sub-method, partial behavioral reflection with Reflectivity: Looking ba ...
14:00 - 14:30
‹Programming› Research Papers
Capturing High-level Nondeterminism in Concurrent Programs for Practica ...
15:00 - 15:30
‹Programming› Research Papers
Prioritising Server Side Reachability via Inter-process Concolic Testing
15:30 - 16:00
‹Programming› Research Papers
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices
16:00 - 16:30
‹Programming› Research Papers
Did JHotDraw Respect the Law of Good Style?: A deep dive into the natur ...
17:00 - 17:30