SPLASH 2019 (series) / VMIL 2019 (series) /
VMIL 2019 Program
This is the VMIL 2019 program - see the full program for SPLASH 2019 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 22 OctDisplayed time zone: Beirut change
Tue 22 Oct
Displayed time zone: Beirut change
09:00 - 10:30 | |||
09:00 60mTalk | 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 30mFull-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 | |||
11:00 30mFull-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 30mFull-paper | Efficient Fail-Fast Dynamic Subtype Checking VMIL Pre-print | ||
12:00 15mTalk | 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 15mTalk | Formal Verification of JIT by Symbolic Execution VMIL Boris Shingarov LabWare | ||
14:00 - 15:30 | |||
14:00 60mTalk | Keynote 2: Who is afraid of the Turnstile?Keynote VMIL Andreas Rossberg Dfinity Stiftung | ||
15:00 30mFull-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 | |||
16:00 30mFull-paper | Towards seamless interfacing between dynamic languages and native code VMIL | ||
16:30 30mFull-paper | Memory efficient CRDTs in dynamic environments VMIL | ||
17:00 30mFull-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 | ||