Write a Blog >>
AI-SEPS 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
co-located with SPLASH 2019
VenueRoyal Olympic Hotel
Room nameAbbey
Floor0
Capacity50
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 21 Oct

Displayed time zone: Beirut change

09:00 - 10:30
09:00
10m
Day opening
Welcome
SPLASH Doctoral Symposium

09:10
20m
Talk
Lightning Talks
SPLASH Doctoral Symposium

09:30
60m
Talk
Keynote: Bridging the Gap (or Falling into It)
SPLASH Doctoral Symposium
Andreas Rossberg Dfinity Stiftung
14:00 - 15:30
14:00
40m
Talk
Practical Second Futamura Projection
SPLASH Doctoral Symposium
Florian Latifi Johannes Kepler University Linz
DOI Pre-print
14:45
40m
Talk
Retaining Semantic Information in the Static Analysis of Real-World Software
SPLASH Doctoral Symposium
Gábor Horváth Eötvös Loránd University
DOI Pre-print
16:00 - 17:30
16:00
40m
Talk
Exploiting Models for Scalable and High Throughput Distributed Software
SPLASH Doctoral Symposium
Tim Soethout ING Bank and Centrum Wiskunde & Informatica (CWI), The Netherlands
DOI Pre-print File Attached
16:45
40m
Talk
Debugging Support for Multi-paradigm Concurrent Programs
SPLASH Doctoral Symposium
Dominik Aumayr Johannes Kepler University Linz, Austria
Link to publication DOI

Tue 22 Oct

Displayed time zone: Beirut change

09:00 - 10:30
Keynote & Session #1VMIL at Abbey
09:00
60m
Talk
Keynote 1: How did we get here and where can we go next? (Joint with MPLR, in Room 1)Keynote
VMIL
Laurence Tratt King's College London
10:00
30m
Full-paper
Scalable Comparison of JavaScript V8 Bytecode Traces (Room 1 -- Joint with MPLR)
VMIL
Javier Cabrera Arteaga KTH Royal Institute of Technology, Martin Monperrus KTH Royal Institute of Technology, Benoit Baudry KTH Royal Institute of Technology, Sweden
Pre-print
11:00 - 12:30
Session #2VMIL at Abbey
Chair(s): Anthony Canino SUNY Binghamton
11:00
30m
Full-paper
Which of my Transient Type Checks are not (Almost) Free?
VMIL
Isaac Oscar Gariano Victoria University of Wellington, Richard Roberts Victoria University of Wellington, Stefan Marr University of Kent, Michael Homer Victoria University of Wellington, James Noble Victoria University of Wellington
11:30
30m
Full-paper
Efficient Fail-Fast Dynamic Subtype Checking
VMIL
Rohan Padhye University of California, Berkeley, Koushik Sen University of California, Berkeley
Pre-print
12:00
15m
Talk
Towards Gradual Checking of Reference Capabilities
VMIL
Kiko Fernandez-Reyes Uppsala University, Isaac Oscar Gariano Victoria University of Wellington, James Noble Victoria University of Wellington, Tobias Wrigstad Uppsala University
Pre-print
12:15
15m
Talk
Formal Verification of JIT by Symbolic Execution
VMIL
14:00 - 15:30
Keynote & Session #3VMIL at Abbey
14:00
60m
Talk
Keynote 2: Who is afraid of the Turnstile?Keynote
VMIL
Andreas Rossberg Dfinity Stiftung
15:00
30m
Full-paper
Designing a Low-Level Virtual Machine for Implementing Real-Time Managed Languages
VMIL
Javad Ebrahimian Amiri Australian National University / Data61, Steve Blackburn Australian National University , Tony Hosking Australian National University / Data61, Michael Norrish Data61 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
30m
Full-paper
Towards seamless interfacing between dynamic languages and native code
VMIL
Guillaume Bertholon École Normale Supérieure, Stephen Kell University of Kent
16:30
30m
Full-paper
Memory efficient CRDTs in dynamic environments
VMIL
Jim Bauwens Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
17:00
30m
Full-paper
Implementing a Language with Explicit Assignment Semantics
VMIL
Dimi Racordon University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland, Didier Buchs University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland

Mon 21 Oct

Displayed time zone: Beirut change

Tue 22 Oct

Displayed time zone: Beirut change

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