VenueOnline
Room nameVirtual Space A
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
Times are displayed in time zone: Greenwich Mean Time : 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 PetricekUniversity of Kent
11:30
60m
Talk
The Death and Life of American Cities (Jacobs, 1961)
Salon Littéraire
F: Tomas PetricekUniversity of Kent
13:00 - 14:30
Session The First: SpoofaxCoCoDo at Virtual Space A
Chair(s): Vadim ZaytsevUniversity of Twente, Netherlands
13:00
90m
Talk
A Tutorial on the Spoofax Language Workbench
CoCoDo
Eelco VisserDelft University of Technology
15:00 - 16:30
Session The Second: SmalltalkCoCoDo at Virtual Space A
Chair(s): Johan FabryRaincode 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: LLVMCoCoDo at Virtual Space A
Chair(s): Vadim ZaytsevUniversity of Twente, Netherlands
17:00
2h
Talk
From Abstract Syntax Trees to Machine Code with LLVM
CoCoDo
Dimitri RacordonUniversity of Geneva, Switzerland

Tue 23 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change

11:30 - 12:30
Seeing Like a State (Scott, 1998)Salon Littéraire at Virtual Space A
Chair(s): Antranig BasmanRaising the Floor - International, Luke ChurchUniversity of Cambridge | Lund University | Lark Systems
11:30
60m
Talk
Seeing Like a State (Scott, 1998)
Salon Littéraire
F: Antranig BasmanRaising the Floor - International, Luke ChurchUniversity of Cambridge | Lund University | Lark Systems
12:55 - 14:30
Optimizing Dynamic LanguagesMoreVMs at Virtual Space A
Chair(s): Fabio NiephausHasso Plattner Institute, University of Potsdam
12:55
5m
Day opening
Welcome
MoreVMs
Fabio NiephausHasso Plattner Institute, University of Potsdam, David LeopoldsederOracle Labs
13:00
60m
Talk
YJIT: Building a New JIT Compiler Inside CRubyMoreVMs Invited Talk
MoreVMs
Media Attached
14:00
30m
Talk
Caching Hidden Classes for Pre-transitioning Object Memory Layout in JavaScript
MoreVMs
Tomoharu UgawaUniversity of Tokyo, Stefan MarrUniversity of Kent, Richard JonesUniversity of Kent
Media Attached
15:00 - 16:30
Performance and BenchmarkingMoreVMs at Virtual Space A
Chair(s): Sophie KalebaUniversity of Kent
15:00
30m
Talk
The Strange and Wondrous Life of Functions in Ř
MoreVMs
Jan JečmenFIT CTU Prague, Olivier FlückigerNortheastern University, Sebastián KrynskiCzech Technical University, National University of Quilmes, Jan VitekNortheastern University / Czech Technical University
Media Attached
15:30
30m
Talk
Successes and Challenges in Bringing Performance to Java with Inline Types
MoreVMs
Media Attached File Attached
16:00
30m
Talk
Towards a Synthetic Benchmark to Assess VM Startup, Warmup, and Cold-Code Performance
MoreVMs
Stefan MarrUniversity of Kent
Media Attached

Wed 24 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change

12:45 - 13:00
Conference Opening at Virtual Space A
12:45
15m
Other
Conference Opening
G: Luke ChurchUniversity of Cambridge | Lund University | Lark Systems
13:00 - 14:00
Keynote IKeynotes at Virtual Space A
Chair(s): Luke ChurchUniversity of Cambridge | Lund University | Lark Systems
13:00
60m
Keynote
Opening Keynote: Sharath Srinivasan: Politics in Language and Language in Politics‹Programming› Keynote
Keynotes
14:00 - 14:30
Session 1Research Papers at Virtual Space A
Chair(s): Luke ChurchUniversity of Cambridge | Lund University | Lark Systems
14:00
30m
Live Q&A
Transparent Synchronous Dataflow
Research Papers
Steven CheungUniversity of Birmingham, UK, Dan GhicaUniversity of Birmingham, Koko MuroyaRIMS, Kyoto University, JP
DOI Media Attached
15:00 - 16:30
Session 3Research Papers at Virtual Space A
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford
15:00
30m
Live Q&A
Using Relational Problems to Teach Property-Based Testing
Research Papers
John WrennBrown University, Tim NelsonBrown University, Shriram KrishnamurthiBrown University, United States
DOI Media Attached
15:30
30m
Live Q&A
Bacatá: Notebooks for DSLs, Almost for Free
Research Papers
Mauricio Verano MerinoTechnische Universiteit Eindhoven, Jurgen VinjuCWI, Netherlands, Tijs van der StormCWI & 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
Research Papers
Johannes MeyTechnische Universität Dresden, Thomas KühnKarlsruhe Institute of Technology, René SchöneTechnische Universität Dresden, Uwe AßmannTU Dresden, Germany
DOI Media Attached
17:00 - 17:30
Conversation Starters IConversation Starters at Virtual Space A
Chair(s): Emma SöderbergLund University
17:00
30m
Live Q&A
Programming "systems" deserve a theory too!
Conversation Starters
Joel JakubovicUniversity of Kent, Jonathan Edwards, Tomas PetricekUniversity of Kent
17:30 - 19:00
Session 5Research Papers at Virtual Space A
Chair(s): Stefan MarrUniversity 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
Research Papers
Daniel SpeicherBonn-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
Research Papers
Humberto Rodriguez AvilaVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
DOI Media Attached
18:30
30m
Live Q&A
Finding Bugs with Specification-Based Testing is Easy!
Research Papers
Janice Chin, David J. PearceVictoria 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 MarasoiuUniversity of Cambridge
19:30
60m
Talk
How Buildings Learn: What Happens After They are Built (Brand, 1995)
Salon Littéraire
F: Mariana MarasoiuUniversity of Cambridge

Thu 25 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change

13:00 - 14:30
Session 7Research Papers at Virtual Space A
Chair(s): Emma SöderbergLund University
13:00
30m
Live Q&A
Transparent Synchronous Dataflow
Research Papers
Steven CheungUniversity of Birmingham, UK, Dan GhicaUniversity of Birmingham, Koko MuroyaRIMS, Kyoto University, JP
DOI Media Attached
13:30
30m
Live Q&A
Consistency types for replicated data in a higher-order distributed programming language
Research Papers
Xin ZhaoKTH Royal Institute of Technology, Philipp HallerKTH
DOI Media Attached
14:00
30m
Live Q&A
Jupyter Notebooks on GitHub: Characteristics and Code Clones
Research Papers
Malin KällénUppsala University, Tobias WrigstadUppsala University, Sweden
DOI Media Attached
15:00 - 16:30
Session 9Research Papers at Virtual Space A
Chair(s): Ademar AguiarFEUP, Universidade do Porto
15:00
30m
Live Q&A
Bacatá: Notebooks for DSLs, Almost for Free
Research Papers
Mauricio Verano MerinoTechnische Universiteit Eindhoven, Jurgen VinjuCWI, Netherlands, Tijs van der StormCWI & University of Groningen, Netherlands
DOI Media Attached
15:30
30m
Live Q&A
Prioritising Server Side Reachability via Inter-process Concolic Testing
Research Papers
Maarten VandercammenVrije Universiteit Brussel, Laurent ChristopheVUB, Dario Di NucciTilburg University, Wolfgang De MeuterVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
Link to publication DOI Media Attached
16:00
30m
Live Q&A
Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions
Research Papers
Tim SoethoutING Bank and Centrum Wiskunde & Informatica (CWI), Tijs van der StormCWI & University of Groningen, Netherlands, Jurgen VinjuCWI, Netherlands
DOI Media Attached
17:00 - 17:30
Conversation Starters IIIConversation Starters at Virtual Space A
Chair(s): Emma SöderbergLund University
17:00
30m
Live Q&A
Hedy: A gradual programming language for children
Conversation Starters
Felienne HermansLeiden University
17:30 - 19:00
Session 12Research Papers at Virtual Space A
Chair(s): Guido SalvaneschiUniversity of St. Gallen
17:30
30m
Live Q&A
Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute Grammars
Research Papers
Johannes MeyTechnische Universität Dresden, Thomas KühnKarlsruhe Institute of Technology, René SchöneTechnische Universität Dresden, Uwe AßmannTU Dresden, Germany
DOI Media Attached
18:00
30m
Live Q&A
Finding Bugs with Specification-Based Testing is Easy!
Research Papers
Janice Chin, David J. PearceVictoria 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 LewisUniversity of Colorado Boulder
19:30
60m
Talk
Decentralisation: An Incomplete Ambition (Schneider, 2019)
Salon Littéraire
F: Clayton LewisUniversity of Colorado Boulder

Fri 26 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change

13:00 - 13:30
Conversation Starters VConversation Starters at Virtual Space A
Chair(s): Patrick ReinHasso Plattner Institute
13:00
30m
Demonstration
A Multi-Language IDE with Blocks at its Core
Conversation Starters
Tom BeckmannHasso Plattner Institute
13:30 - 14:30
Session 14Research Papers at Virtual Space A
Chair(s): Hidehiko MasuharaTokyo Institute of Technology
13:30
30m
Live Q&A
Advanced Join Patterns for the Actor Model based on CEP Techniques
Research Papers
Humberto Rodriguez AvilaVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
DOI Media Attached
14:00
30m
Live Q&A
Consistency types for replicated data in a higher-order distributed programming language
Research Papers
Xin ZhaoKTH Royal Institute of Technology, Philipp HallerKTH
DOI Media Attached
15:00 - 16:30
Session 16Research Papers at Virtual Space A
Chair(s): Theo D'HondtVrije Universiteit Brussel
15:00
30m
Live Q&A
Using Relational Problems to Teach Property-Based Testing
Research Papers
John WrennBrown University, Tim NelsonBrown University, Shriram KrishnamurthiBrown University, United States
DOI Media Attached
15:30
30m
Live Q&A
Reference Capabilities for Safe Parallel Array Programming
Research Papers
Beatrice ÅkerblomStockholm University, Elias CastegrenKTH, Tobias WrigstadUppsala University, Sweden
DOI Media Attached
16:00
30m
Live Q&A
Lake symbols for island parsing
Research Papers
Katsumi OkudaThe University of Tokyo / Mitsubishi Electric Corporation, Shigeru ChibaThe University of Tokyo
DOI Media Attached
17:00 - 17:30
Session 18Research Papers at Virtual Space A
Chair(s): Jens LinckeHasso Plattner Institute, University of Potsdam, Germany
17:00
30m
Live Q&A
Jupyter Notebooks on GitHub: Characteristics and Code Clones
Research Papers
Malin KällénUppsala University, Tobias WrigstadUppsala University, Sweden
DOI Media Attached
17:30 - 18:30
Keynote IIKeynotes at Virtual Space A
Chair(s): Luke ChurchUniversity of Cambridge | Lund University | Lark Systems
17:30
60m
Keynote
Closing Keynote: Guy Steele: Generality—or Not—in a Domain-Specific Language‹Programming› Keynote
Keynotes
18:30 - 19:00
Conference Closing at Virtual Space A
Chair(s): Luke ChurchUniversity of Cambridge | Lund University | Lark Systems
18:30
30m
Other
Conference Closing
G: Luke ChurchUniversity of Cambridge | Lund University | Lark Systems, Stefan MarrUniversity of Kent, Jeremy GibbonsDepartment of Computer Science, University of Oxford, Ademar AguiarFEUP, Universidade do Porto

Mon 22 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Tue 23 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Fri 26 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Mon 22 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change