Write a Blog >>
OAF 2021
Mon 22 - Fri 26 March 2021
Online, United Kingdom
co-located with
‹Programming› 2021
Toggle navigation
Attending
Venue: Online
Program
OAF Program
Your Program
Mon 22 Mar
Tue 23 Mar
Wed 24 Mar
Thu 25 Mar
Fri 26 Mar
Track/Call
Organization
OAF 2021 Committees
Track Committees
Organizing Committee
Contributors
People Index
Search
Series
Sign in
Sign up
‹Programming› 2021
(
series
) /
OAF 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
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: Smalltalk
CoCoDo
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: LLVM
CoCoDo
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 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
Session The First: Spoofax
CoCoDo
Session The Second: Smalltalk
CoCoDo
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
Thu 21 Nov 17:35