Write a Blog >>
META 2019
Sun 20 - Fri 25 October 2019
Athens, Greece
co-located with
SPLASH 2019
Toggle navigation
Attending
Venue: Royal Olympic Hotel
Banquet Venue: Aegli
Program
META Program
Your Program
Sun 20 Oct
Mon 21 Oct
Tue 22 Oct
Wed 23 Oct
Thu 24 Oct
Fri 25 Oct
Track/Call
Organization
META 2019 Committees
Track Committees
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
META 2019
META'18
META 2017
META 2016
Sign in
Sign up
SPLASH 2019
(
series
) /
META 2019 (
series
) /
Royal Olympic Hotel
/
Room information: Abbey
Venue
Royal Olympic Hotel
Room name
Abbey
Floor
0
Capacity
50
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+03:00) Beirut
.
Use conference time zone: (GMT+03:00) Beirut
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-06: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-02: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) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03: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 21 Oct
Displayed time zone:
Beirut
change
09:00 - 10:30
Session 1
SPLASH Doctoral Symposium
at
Abbey
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
11:00 - 12:30
Session 2
SPLASH Doctoral Symposium
at
Abbey
11:00
40m
Talk
Improving Performance and Quality of Database-Backed Software
SPLASH Doctoral Symposium
Junwen Yang
university of chicago
11:45
40m
Talk
Performance, Portability, and Productivity for Data-Parallel Applications on Multi- and Many-Core Architectures
SPLASH Doctoral Symposium
Ari Rasch
University of Münster
14:00 - 15:30
Session 3
SPLASH Doctoral Symposium
at
Abbey
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
Session 4
SPLASH Doctoral Symposium
at
Abbey
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 #1
VMIL
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 #2
VMIL
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
Boris Shingarov
LabWare
14:00 - 15:30
Keynote & Session #3
VMIL
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 #4
VMIL
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
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Abbey
SPLASH Doctoral Symposium
Session 1
SPLASH Doctoral Symposium
Session 2
SPLASH Doctoral Symposium
Session 3
SPLASH Doctoral Symposium
Session 4
Tue 22 Oct
Displayed time zone:
Beirut
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Abbey
VMIL
Keynote & Session #1
VMIL
Session #2
VMIL
Keynote & Session #3
VMIL
Session #4
Mon 21 Oct
Displayed time zone:
Beirut
change
Room
9:00
15
30
45
10:00
15
30
45
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
Abbey
SPLASH Doctoral Symposium
Welcome
09:00 - 09:10
SPLASH Doctoral Symposium
Lightning Talks
09:10 - 09:30
SPLASH Doctoral Symposium
Keynote: Bridging the Gap (or Falling into It)
09:30 - 10:30
SPLASH Doctoral Symposium
Improving Performance and Quality of Database-Backed Software
11:00 - 11:40
SPLASH Doctoral Symposium
Performance, Portability, and Productivity for Data-Parallel Applicatio ...
11:45 - 12:25
SPLASH Doctoral Symposium
Practical Second Futamura Projection
14:00 - 14:40
SPLASH Doctoral Symposium
Retaining Semantic Information in the Static Analysis of Real-World Sof ...
14:45 - 15:25
SPLASH Doctoral Symposium
Exploiting Models for Scalable and High Throughput Distributed Software
16:00 - 16:40
SPLASH Doctoral Symposium
Debugging Support for Multi-paradigm Concurrent Programs
16:45 - 17:25
Tue 22 Oct
Displayed time zone:
Beirut
change
Room
9:00
15
30
45
10:00
15
30
45
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
Abbey
VMIL
Keynote
Keynote 1: How did we get here and where can we go next? (Joint with MP ...
09:00 - 10:00
VMIL
Scalable Comparison of JavaScript V8 Bytecode Traces (Room 1 -- Joint w ...
10:00 - 10:30
VMIL
Which of my Transient Type Checks are not (Almost) Free?
11:00 - 11:30
VMIL
Efficient Fail-Fast Dynamic Subtype Checking
11:30 - 12:00
VMIL
Towards Gradual Checking of Reference Capabilities
12:00 - 12:15
VMIL
Formal Verification of JIT by Symbolic Execution
12:15 - 12:30
VMIL
Keynote
Keynote 2: Who is afraid of the Turnstile?
14:00 - 15:00
VMIL
Designing a Low-Level Virtual Machine for Implementing Real-Time Manage ...
15:00 - 15:30
VMIL
Towards seamless interfacing between dynamic languages and native code
16:00 - 16:30
VMIL
Memory efficient CRDTs in dynamic environments
16:30 - 17:00
VMIL
Implementing a Language with Explicit Assignment Semantics
17:00 - 17:30
x
Sat 23 Nov 23:10