CoCoDo 2021
Mon 22 - Fri 26 March 2021 Online, United Kingdom
co-located with ‹Programming› 2021
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

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
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

Wed 24 Mar

Displayed time zone: Belfast change

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

Tue 23 Mar

Displayed time zone: Belfast change