CoCoDo 2021
Mon 22 - Fri 26 March 2021
Online, United Kingdom
co-located with
‹Programming› 2021
Toggle navigation
Attending
Venue: Online
Program
CoCoDo Program
Your Program
Mon 22 Mar
Tue 23 Mar
Wed 24 Mar
Thu 25 Mar
Fri 26 Mar
Track/Call
Organization
CoCoDo 2021 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
CoCoDo 2021
CoCoDo 2020
CoCoDo 2019
CoCoDo 2018
CoCoDo 2017
Sign in
Sign up
‹Programming› 2021
(
series
) /
CoCoDo 2021 (
series
) /
Online
/
Room information: Virtual Space B
Venue
Online
Room name
Virtual Space B
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT) Belfast
.
Use conference time zone: (GMT) Belfast
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-07: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-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04: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-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02: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+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04: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 22 Mar
Displayed time zone:
Belfast
change
13:00 - 14:30
Session 1
ProWeb21
at
Virtual Space B
Chair(s):
Andrea Stocco
Università della Svizzera italiana (USI)
13:00
30m
Talk
Rec.HTML: Typed Declarative HTML
ProWeb21
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 applications
ProWeb20
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 Library
ProWeb21
ProWeb21
Quentin Stiévenart
Vrije Universiteit Brussel
,
Coen De Roover
Vrije Universiteit Brussel
Pre-print
15:00 - 16:30
Session 2
ProWeb21
at
Virtual Space B
Chair(s):
Simon Fowler
University of Glasgow
15:00
60m
Keynote
Why Programming Languages for Distributed Systems are Inevitable
ProWeb Keynote
ProWeb21
K:
Guido Salvaneschi
University of St. Gallen
16:00
30m
Talk
Evolution of the WebDSL Runtime
ProWeb20
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 AssemblyScript
ProWeb21
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 3
ProWeb21
at
Virtual Space B
Tue 23 Mar
Displayed time zone:
Belfast
change
16:00 - 16:30
Intro talk: Open Applications Infrastructure
OAF
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 choreography
OAF
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 2
‹Programming› Research Papers
at
Virtual Space B
15:00 - 16:30
Session 4
‹Programming› Research 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
‹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
15:30
30m
Live Q&A
Interactive Music and Synchronous Reactive Programming
‹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
‹Programming› Research Papers
Greg Michaelson
Heriot-Watt University
DOI
Media Attached
17:00 - 17:30
Conversation Starters II
‹Programming› Conversation 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?
‹Programming› Conversation Starters
Gilad Bracha
Shape Security/F5 Networks
17:30 - 19:00
Session 6
‹Programming› Research 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
‹Programming› 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
‹Programming› 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
‹Programming› 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 8
‹Programming› Research 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
‹Programming› 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
‹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
‹Programming› 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 10
‹Programming› Research 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
‹Programming› 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
‹Programming› Research Papers
Gene Cooperman
Northeastern University
,
Martin Quinson
École Normale Supérieure Rennes
DOI
Media Attached
17:00 - 17:30
Conversation Starters IV
‹Programming› Conversation Starters
at
Virtual Space B
Chair(s):
Patrick Rein
Hasso Plattner Institute
17:00
30m
Live Q&A
Are many heaps better than one?
‹Programming› Conversation Starters
Mario Wolczko
Oracle Labs
17:30 - 19:00
Session 13
‹Programming› Research 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
‹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
‹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, Austria
DOI
Media Attached
18:30
30m
Live Q&A
Transparent Compiler and Runtime Specializations for Accelerating Managed Languages on FPGAs
‹Programming› 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 VI
‹Programming› Conversation 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
‹Programming› 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 15
‹Programming› Research 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
‹Programming› 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
‹Programming› 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 17
‹Programming› Research 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
‹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, Austria
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
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices
‹Programming› 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 19
‹Programming› Research 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
‹Programming› Research Papers
Daniel Speicher
Bonn-Aachen International Center for Information Technology, B-IT
DOI
Media Attached
Mon 22 Mar
Displayed time zone:
Belfast
change
Room
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Virtual Space B
ProWeb21
Session 1
ProWeb21
Session 2
ProWeb21
Session 3
Tue 23 Mar
Displayed time zone:
Belfast
change
Room
16:00
30
17:00
30
18:00
30
Virtual Space B
OAF
Intro talk: Open Applications Infrastructure
OAF
Hands-on π2π network choreography
Wed 24 Mar
Displayed time zone:
Belfast
change
Room
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Virtual Space B
‹Programming› Research Papers
Session 2
‹Programming› Research Papers
Session 4
‹Programming› Conversation Starters
Conversation Starters II
‹Programming› Research Papers
Session 6
Thu 25 Mar
Displayed time zone:
Belfast
change
Room
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Virtual Space B
‹Programming› Research Papers
Session 8
‹Programming› Research Papers
Session 10
‹Programming› Conversation Starters
Conversation Starters IV
‹Programming› Research Papers
Session 13
Fri 26 Mar
Displayed time zone:
Belfast
change
Room
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Virtual Space B
‹Programming› Conversation Starters
Conversation Starters VI
‹Programming› Research Papers
Session 15
‹Programming› Research Papers
Session 17
‹Programming› Research Papers
Session 19
Mon 22 Mar
Displayed time zone:
Belfast
change
Room
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Virtual Space B
ProWeb21
ProWeb21
Rec.HTML: Typed Declarative HTML
13:00 - 13:30
ProWeb21
ProWeb20
Tamper-proof security mechanism against liar objects in JavaScript appl ...
13:30 - 14:00
ProWeb21
ProWeb21
Wassail: a WebAssembly Static Analysis Library
14:00 - 14:30
ProWeb21
ProWeb Keynote
Why Programming Languages for Distributed Systems are Inevitable
15:00 - 16:00
ProWeb21
ProWeb20
Evolution of the WebDSL Runtime
16:00 - 16:30
ProWeb21
ProWeb21
Oron: Towards a Dynamic Analysis Instrumentation Platform for AssemblyS ...
16:30 - 17:00
Tue 23 Mar
Displayed time zone:
Belfast
change
Room
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
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
Room
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
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
Room
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
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
Room
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
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
x
Thu 21 Nov 22:10