REBLS 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
co-located with SPLASH 2019
VenueRoyal Olympic Hotel
Room nameAbbey
Floor0
Capacity50
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 21 Oct
Times are displayed in time zone: Beirut change

09:00 - 10:30: Session 1SPLASH Doctoral Symposium at Abbey
09:00 - 09:10
Day opening
Welcome
SPLASH Doctoral Symposium
09:10 - 09:30
Talk
Lightning Talks
SPLASH Doctoral Symposium
09:30 - 10:30
Talk
Keynote: Bridging the Gap (or Falling into It)
SPLASH Doctoral Symposium
Andreas RossbergDfinity Stiftung
11:00 - 12:30: Session 2SPLASH Doctoral Symposium at Abbey
11:00 - 11:40
Talk
Improving Performance and Quality of Database-Backed Software
SPLASH Doctoral Symposium
Junwen Yanguniversity of chicago
11:45 - 12:25
Talk
Performance, Portability, and Productivity for Data-Parallel Applications on Multi- and Many-Core Architectures
SPLASH Doctoral Symposium
Ari RaschUniversity of Münster
14:00 - 15:30: Session 3SPLASH Doctoral Symposium at Abbey
14:00 - 14:40
Talk
Practical Second Futamura Projection
SPLASH Doctoral Symposium
Florian LatifiJohannes Kepler University Linz
DOI Pre-print
14:45 - 15:25
Talk
Retaining Semantic Information in the Static Analysis of Real-World Software
SPLASH Doctoral Symposium
Gábor HorváthEötvös Loránd University
DOI Pre-print
16:00 - 17:30: Session 4SPLASH Doctoral Symposium at Abbey
16:00 - 16:40
Talk
Exploiting Models for Scalable and High Throughput Distributed Software
SPLASH Doctoral Symposium
Tim SoethoutING Bank and Centrum Wiskunde & Informatica (CWI), The Netherlands
DOI Pre-print File Attached
16:45 - 17:25
Talk
Debugging Support for Multi-paradigm Concurrent Programs
SPLASH Doctoral Symposium
Dominik AumayrJohannes Kepler University Linz, Austria
Link to publication DOI

Tue 22 Oct
Times are displayed in time zone: Beirut change

09:00 - 10:30: Keynote & Session #1VMIL at Abbey
09:00 - 10:00
Talk
Keynote 1: How did we get here and where can we go next? (Joint with MPLR, in Room 1)Keynote
VMIL
Laurence TrattKing's College London
10:00 - 10:30
Full-paper
Scalable Comparison of JavaScript V8 Bytecode Traces (Room 1 -- Joint with MPLR)
VMIL
Javier Cabrera ArteagaKTH Royal Institute of Technology, Martin MonperrusKTH Royal Institute of Technology, Benoit BaudryKTH Royal Institute of Technology, Sweden
Pre-print
11:00 - 12:30: Session #2VMIL at Abbey
Chair(s): Anthony CaninoSUNY Binghamton
11:00 - 11:30
Full-paper
Which of my Transient Type Checks are not (Almost) Free?
VMIL
Isaac Oscar GarianoVictoria University of Wellington, Richard RobertsVictoria University of Wellington, Stefan MarrUniversity of Kent, Michael HomerVictoria University of Wellington, James NobleVictoria University of Wellington
11:30 - 12:00
Full-paper
Efficient Fail-Fast Dynamic Subtype Checking
VMIL
Rohan PadhyeUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley
Pre-print
12:00 - 12:15
Talk
Towards Gradual Checking of Reference Capabilities
VMIL
Kiko Fernandez-ReyesUppsala University, Isaac Oscar GarianoVictoria University of Wellington, James NobleVictoria University of Wellington, Tobias WrigstadUppsala University
Pre-print
12:15 - 12:30
Talk
Formal Verification of JIT by Symbolic Execution
VMIL
14:00 - 15:30: Keynote & Session #3VMIL at Abbey
14:00 - 15:00
Talk
Keynote 2: Who is afraid of the Turnstile?Keynote
VMIL
Andreas RossbergDfinity Stiftung
15:00 - 15:30
Full-paper
Designing a Low-Level Virtual Machine for Implementing Real-Time Managed Languages
VMIL
Javad Ebrahimian AmiriAustralian National University / Data61, Steve BlackburnAustralian National University , Tony HoskingAustralian National University / Data61, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia
DOI Pre-print
16:00 - 17:30: Session #4VMIL at Abbey
Chair(s): Andrea RosàUniversity of Lugano, Switzerland
16:00 - 16:30
Full-paper
Towards seamless interfacing between dynamic languages and native code
VMIL
Guillaume BertholonÉcole Normale Supérieure, Stephen KellUniversity of Kent
16:30 - 17:00
Full-paper
Memory efficient CRDTs in dynamic environments
VMIL
Jim BauwensVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
17:00 - 17:30
Full-paper
Implementing a Language with Explicit Assignment Semantics
VMIL
Dimitri RacordonUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland, Didier BuchsUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland

Mon 21 Oct
Times are displayed in time zone: Beirut change

Tue 22 Oct
Times are displayed in time zone: Beirut change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Abbey