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 A
Venue
Online
Room name
Virtual Space A
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
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: Spoofax
CoCoDo 2021
at
Virtual Space A
Chair(s):
Vadim Zaytsev
University of Twente, Netherlands
13:00
90m
Talk
A Tutorial on the Spoofax Language Workbench
CoCoDo 2021
Eelco Visser
Delft University of Technology
15:00 - 16:30
Session The Second: Smalltalk
CoCoDo 2021
at
Virtual Space A
Chair(s):
Johan Fabry
Raincode Labs, Belgium
15:00
90m
Talk
An Interactive Exploration of a Simple Compiler
CoCoDo 2021
Marcus Denker
INRIA Lille
17:00 - 19:00
Session The Third: LLVM
CoCoDo 2021
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 2021
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 Languages
MoreVMs
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 CRuby
MoreVMs Invited Talk
MoreVMs
Maxime Chevalier-Boisvert
Shopify
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 Benchmarking
MoreVMs
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
Sharon Wang
IBM
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
17:00 - 19:00
Memory and Garbage Collection
MoreVMs
at
Virtual Space A
Chair(s):
David Leopoldseder
Oracle Labs
17:00
30m
Talk
Garbage Collection Algorithms, Which One is the Best for Your Application?
MoreVMs
Igor Braga
IBM Canada
Media Attached
17:30
60m
Talk
Are Many Heaps Better Than One?
MoreVMs Invited Talk
MoreVMs
Mario Wolczko
Oracle Labs
Media Attached
18:30
30m
Day closing
Discussions and Wrap-up
MoreVMs
Wed 24 Mar
Displayed time zone:
Belfast
change
12:45 - 13:00
Conference Opening
‹Programming›
at
Virtual Space A
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
Sharath Srinivasan
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
Session 7
‹Programming› Research Papers
at
Virtual Space A
Chair(s):
Emma Söderberg
Lund University
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
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Virtual Space A
Salon Littéraire
The Death and Life of American Cities (Jacobs, 1961)
CoCoDo 2021
Session The First: Spoofax
CoCoDo 2021
Session The Second: Smalltalk
CoCoDo 2021
Session The Third: LLVM
Tue 23 Mar
Displayed time zone:
Belfast
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Virtual Space A
Salon Littéraire
Seeing Like a State (Scott, 1998)
MoreVMs
Optimizing Dynamic Languages
MoreVMs
Performance and Benchmarking
MoreVMs
Memory and Garbage Collection
Wed 24 Mar
Displayed time zone:
Belfast
change
Room
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
Virtual Space A
‹Programming›
Conference Opening
‹Programming› Keynotes
Keynote I
‹Programming› Research Papers
Session 1
‹Programming› Research Papers
Session 3
‹Programming› Conversation Starters
Conversation Starters I
‹Programming› Research Papers
Session 5
Salon Littéraire
How Buildings Learn: What Happens After They are Built (Brand, 1995)
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
19:00
30
20:00
30
Virtual Space A
‹Programming› Research Papers
Session 7
‹Programming› Research Papers
Session 9
‹Programming› Conversation Starters
Conversation Starters III
‹Programming› Research Papers
Session 12
Salon Littéraire
Decentralisation: An Incomplete Ambition (Schneider, 2019)
Fri 26 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 A
‹Programming› Conversation Starters
Conversation Starters V
‹Programming› Research Papers
Session 14
‹Programming› Research Papers
Session 16
‹Programming› Research Papers
Session 18
‹Programming› Keynotes
Keynote II
‹Programming›
Conference Closing
Mon 22 Mar
Displayed time zone:
Belfast
change
Room
11:00
15
30
45
12:00
15
30
45
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 A
Salon Littéraire
The Death and Life of American Cities (Jacobs, 1961)
11:30 - 12:30
CoCoDo
A Tutorial on the Spoofax Language Workbench
13:00 - 14:30
CoCoDo
An Interactive Exploration of a Simple Compiler
15:00 - 16:30
CoCoDo
From Abstract Syntax Trees to Machine Code with LLVM
17:00 - 19:00
Tue 23 Mar
Displayed time zone:
Belfast
change
Room
11:00
15
30
45
12:00
15
30
45
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 A
Salon Littéraire
Seeing Like a State (Scott, 1998)
11:30 - 12:30
MoreVMs
Welcome
12:55 - 13:00
MoreVMs
MoreVMs Invited Talk
YJIT: Building a New JIT Compiler Inside CRuby
13:00 - 14:00
MoreVMs
Caching Hidden Classes for Pre-transitioning Object Memory Layout in Ja ...
14:00 - 14:30
MoreVMs
The Strange and Wondrous Life of Functions in Ř
15:00 - 15:30
MoreVMs
Successes and Challenges in Bringing Performance to Java with Inline Types
15:30 - 16:00
MoreVMs
Towards a Synthetic Benchmark to Assess VM Startup, Warmup, and Cold-Co ...
16:00 - 16:30
MoreVMs
Garbage Collection Algorithms, Which One is the Best for Your Application?
17:00 - 17:30
MoreVMs
MoreVMs Invited Talk
Are Many Heaps Better Than One?
17:30 - 18:30
MoreVMs
Discussions and Wrap-up
18:30 - 19:00
Wed 24 Mar
Displayed time zone:
Belfast
change
Room
12:00
15
30
45
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
19:00
15
30
45
20:00
15
30
45
Virtual Space A
‹Programming›
Conference Opening
12:45 - 13:00
‹Programming› Keynotes
‹Programming› Keynote
Opening Keynote: Sharath Srinivasan: Politics in Language and Language ...
13:00 - 14:00
‹Programming› Research Papers
Transparent Synchronous Dataflow
14:00 - 14:30
‹Programming› Research Papers
Using Relational Problems to Teach Property-Based Testing
15:00 - 15:30
‹Programming› Research Papers
Bacatá: Notebooks for DSLs, Almost for Free
15:30 - 16:00
‹Programming› Research Papers
Reusing Static Analysis across Different Domain-Specific Languages usin ...
16:00 - 16:30
‹Programming› Conversation Starters
Programming "systems" deserve a theory too!
17:00 - 17:30
‹Programming› Research Papers
Did JHotDraw Respect the Law of Good Style?: A deep dive into the natur ...
17:30 - 18:00
‹Programming› Research Papers
Advanced Join Patterns for the Actor Model based on CEP Techniques
18:00 - 18:30
‹Programming› Research Papers
Finding Bugs with Specification-Based Testing is Easy!
18:30 - 19:00
Salon Littéraire
How Buildings Learn: What Happens After They are Built (Brand, 1995)
19:30 - 20:30
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
19:00
15
30
45
20:00
15
30
45
Virtual Space A
‹Programming› Research Papers
Transparent Synchronous Dataflow
13:00 - 13:30
‹Programming› Research Papers
Consistency types for replicated data in a higher-order distributed pro ...
13:30 - 14:00
‹Programming› Research Papers
Jupyter Notebooks on GitHub: Characteristics and Code Clones
14:00 - 14:30
‹Programming› Research Papers
Bacatá: Notebooks for DSLs, Almost for Free
15:00 - 15:30
‹Programming› Research Papers
Prioritising Server Side Reachability via Inter-process Concolic Testing
15:30 - 16:00
‹Programming› Research Papers
Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distribu ...
16:00 - 16:30
‹Programming› Conversation Starters
Hedy: A gradual programming language for children
17:00 - 17:30
‹Programming› Research Papers
Reusing Static Analysis across Different Domain-Specific Languages usin ...
17:30 - 18:00
‹Programming› Research Papers
Finding Bugs with Specification-Based Testing is Easy!
18:00 - 18:30
Salon Littéraire
Decentralisation: An Incomplete Ambition (Schneider, 2019)
19:30 - 20:30
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
18:00
15
30
45
Virtual Space A
‹Programming› Conversation Starters
A Multi-Language IDE with Blocks at its Core
13:00 - 13:30
‹Programming› Research Papers
Advanced Join Patterns for the Actor Model based on CEP Techniques
13:30 - 14:00
‹Programming› Research Papers
Consistency types for replicated data in a higher-order distributed pro ...
14:00 - 14:30
‹Programming› Research Papers
Using Relational Problems to Teach Property-Based Testing
15:00 - 15:30
‹Programming› Research Papers
Reference Capabilities for Safe Parallel Array Programming
15:30 - 16:00
‹Programming› Research Papers
Lake symbols for island parsing
16:00 - 16:30
‹Programming› Research Papers
Jupyter Notebooks on GitHub: Characteristics and Code Clones
17:00 - 17:30
‹Programming› Keynotes
‹Programming› Keynote
Closing Keynote: Guy Steele: Generality—or Not—in a Domain-Specific Lan ...
17:30 - 18:30
‹Programming›
Conference Closing
18:30 - 19:00
x
Sun 22 Dec 08:34