Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019
Athens, Greece
Toggle navigation
Attending
Venue: Royal Olympic Hotel
Banquet Venue: Aegli
Awards
Local information
Students
Registration
Visa
Sponsoring SPLASH
Code of conduct
Remote participation
Program
SPLASH Program
Your Program
Sun 20 Oct
Mon 21 Oct
Tue 22 Oct
Wed 23 Oct
Thu 24 Oct
Fri 25 Oct
Tracks
SPLASH 2019
Keynotes
OOPSLA
PLMW
SPLASH-E
OOPSLA Artifacts
Onward! Papers
Onward! Essays
Rebase
Doctoral Symposium
Workshops
Posters
SRC
Student Volunteers
Co-hosted Conferences
GPCE
MPLR
SLE
Workshops
AGERE
AI-SEPS
DSM
IC
LIVE
META
NJR
REBLS
STOKED
VMIL
VMIL
- Keynote 1: How did we get here and where can we go next? (Joint with MPLR, in Room 1)
- Keynote 2: Who is afraid of the Turnstile?
Co-hosted Symposia
DLS
Organization
SPLASH 2019 Committees
Organizing Committee
Steering Committee
Track Committees
OOPSLA
Review Committee
External Review Committee
PLMW
Organizing Committee
Speakers & Panelists
SPLASH-E
Program Commitee
Steering Committee
OOPSLA Artifacts
Onward! Papers
Program Committee
Onward! Steering Committee
Onward! Essays
Program Committee
Onward! Steering Committee
Rebase
Doctoral Symposium
Workshops
Posters
SRC
Organizers
Reviewers
Judges
Student Volunteers
Contributors
People Index
Co-hosted Conferences
GPCE
Keynote Speaker
Organizing Committee
Program Committee
MPLR
Organizing Committee
Program Committee
Steering Committee
SLE
Organizing Committee
Organizing Committee
Program Committee
Artifact Evaluation Committee
Workshops
AGERE
Organizing Committee
Program Committee
AI-SEPS
Organizing Committee
Program Committee
Steering Committee
DSM
Organizing Committee
Program Committee
IC
Organizing Committee
Program Committee
LIVE
Organizing Committee
Program Committee
META
Organizing Committee
Program Committee
Steering Committee
NJR
Organizing Committee
Program Committee
REBLS
Organizing Committee
Program Committee
STOKED
Organizing Committee
Program Committee
VMIL
Organizing Committee
Program Committee
Co-hosted Symposia
DLS
Program Committee
Organizing Committee
Steering Committee
Search
Series
Series
SPLASH 2025
SPLASH 2024
SPLASH 2023
SPLASH 2022
SPLASH 2021
SPLASH 2020
SPLASH 2019
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2015
SPLASH 2014
SPLASH 2013
SPLASH 2012
SPLASH 2011
SPLASH 2010
OOPSLA 2009
OOPSLA 2008
OOPSLA 2007
OOPSLA 2006
OOPSLA 2005
OOPSLA 2004
OOPSLA 2003
OOPSLA 2002
OOPSLA 2001
OOPSLA 2000
Sign in
Sign up
SPLASH 2019
(
series
) /
Royal Olympic Hotel
/
Room information: Room 3A
Venue
Royal Olympic Hotel
Room name
Room 3A
Floor
3
Room number
3
Capacity
60
Room Information
Half of 3rd floor conference room
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
Keynote
IC
at
Room 3A
Chair(s):
Tamás Szabó
itemis / JGU Mainz
09:00
90m
Talk
Differential dataflow: a model and implementation
Keynote
IC
K:
Frank McSherry
Materialize, Inc
11:00 - 12:30
Incremental Datalog
IC
at
Room 3A
Chair(s):
Neville Grech
University of Athens
11:00
30m
Talk
Generating Incremental Type Services
IC
André Pacak
JGU Mainz
,
Sebastian Erdweg
JGU Mainz
11:30
30m
Talk
Incrementalizing inter-procedural program analyses with recursive aggregation in Datalog
IC
Tamás Szabó
itemis / JGU Mainz
,
Gábor Bergmann
Budapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary
,
Sebastian Erdweg
JGU Mainz
Pre-print
12:00
30m
Talk
Incremental Datalog Prototype in Soufflé
IC
David Zhao
The University of Sydney
,
Pavle Subotic
Amazon
,
Bernhard Scholz
University of Sydney, Australia
14:00 - 15:30
Incremental IDE services
IC
at
Room 3A
Chair(s):
Tamás Szabó
itemis / JGU Mainz
14:00
30m
Talk
Precise, Efficient, and Expressive Incremental Build Scripts with PIE
IC
Gabriël Konat
Delft University of Technology
,
Roelof Sol
Delft University of Technology
,
Sebastian Erdweg
JGU Mainz
,
Eelco Visser
Delft University of Technology
Pre-print
File Attached
14:30
30m
Talk
From Whole Program Compilation to Incremental Compilation: A Critical Case
IC
Jeff Smits
Delft University of Technology
,
Gabriël Konat
Delft University of Technology
,
Eelco Visser
Delft University of Technology
Pre-print
15:00
30m
Talk
An Incremental Locking Scheme for Transactional Editing
IC
Nils Kurowsky
Fernuni Hagen
16:00 - 17:30
Databases & Semantics
IC
at
Room 3A
Chair(s):
Markus Völter
itemis/independent
16:00
30m
Talk
Toward Lazy Evaluation in a Graph Database
IC
Jeffrey Eymer
SUNY Binghamton
,
Philip Dexter
SUNY Binghamton
,
Yu David Liu
16:30
30m
Talk
The meaning of a program change is a change to the program’s meaning
IC
Roly Perera
The Alan Turing Institute
Pre-print
Tue 22 Oct
Displayed time zone:
Beirut
change
09:00 - 10:30
Keynote
AGERE
at
Room 3A
09:00
15m
Talk
Welcome and Introduction
AGERE
09:15
75m
Talk
Pony: Semantics and Type System Co-Design
Keynote
AGERE
Sophia Drossopoulou
Imperial College London
11:00 - 12:30
Session 1
AGERE
at
Room 3A
11:00
30m
Talk
Modal Assertions for Actor Correctness
AGERE
Colin Gordon
Drexel University
DOI
Pre-print
11:30
30m
Talk
Static Local Coordination Avoidance for Distributed Objects
AGERE
Tim Soethout
ING Bank and Centrum Wiskunde & Informatica (CWI), The Netherlands
,
Tijs van der Storm
CWI & University of Groningen, Netherlands
,
Jurgen Vinju
CWI, Netherlands
DOI
Pre-print
Media Attached
12:00
30m
Talk
Locations and Session Types in a Language with Higher-Order Reflection
AGERE
Michael Tran
Department of Computer Science, Aalborg University, Denmark
,
Alexander Rønning Bendixen
Department of Computer Science, Aalborg University, Denmark
,
Bjarke Bredow Bojesen
Department of Computer Science, Aalborg University, Denmark
,
Hans Hüttel
Department of Computer Science, Aalborg University
,
Stian Lasse Lybech
Department of Computer Science, Aalborg University, Denmark
14:00 - 15:30
Session 2
AGERE
at
Room 3A
14:00
30m
Talk
Krestianstvo Luminary: Decentralized Virtual Time for Croquet architecture
AGERE
Nikolai Suslov
Fund for Supporting Development of RT
Media Attached
14:30
30m
Talk
Actor-based Incremental Tree Data Processing for Large-scale Machine Learning Applications
AGERE
Kouhei Sakurai
Graduate School of Natural Science & Technology, Kanazawa University
,
Taiki Shimizu
Graduate School of Natural Science & Technology, Kanazawa University
15:00
30m
Talk
Run, Actor, Run - Towards Cross-Actor Language Benchmarking
AGERE
Sebastian Blessing
Imperial College London
,
Kiko Fernandez-Reyes
Uppsala University
,
Albert Mingkun Yang
,
Sophia Drossopoulou
Imperial College London
,
Tobias Wrigstad
Uppsala University
16:00 - 17:30
Discussion/Panel
AGERE
at
Room 3A
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
Room 3A
IC
Keynote
IC
Incremental Datalog
IC
Incremental IDE services
IC
Databases & Semantics
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
Room 3A
AGERE
Keynote
AGERE
Session 1
AGERE
Session 2
AGERE
Discussion/Panel
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
Room 3A
IC
Keynote
Differential dataflow: a model and implementation
09:00 - 10:30
IC
Generating Incremental Type Services
11:00 - 11:30
IC
Incrementalizing inter-procedural program analyses with recursive aggre ...
11:30 - 12:00
IC
Incremental Datalog Prototype in Soufflé
12:00 - 12:30
IC
Precise, Efficient, and Expressive Incremental Build Scripts with PIE
14:00 - 14:30
IC
From Whole Program Compilation to Incremental Compilation: A Critical Case
14:30 - 15:00
IC
An Incremental Locking Scheme for Transactional Editing
15:00 - 15:30
IC
Toward Lazy Evaluation in a Graph Database
16:00 - 16:30
IC
The meaning of a program change is a change to the program’s meaning
16:30 - 17:00
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
Room 3A
AGERE
Welcome and Introduction
09:00 - 09:15
AGERE
Keynote
Pony: Semantics and Type System Co-Design
09:15 - 10:30
AGERE
Modal Assertions for Actor Correctness
11:00 - 11:30
AGERE
Static Local Coordination Avoidance for Distributed Objects
11:30 - 12:00
AGERE
Locations and Session Types in a Language with Higher-Order Reflection
12:00 - 12:30
AGERE
Krestianstvo Luminary: Decentralized Virtual Time for Croquet architecture
14:00 - 14:30
AGERE
Actor-based Incremental Tree Data Processing for Large-scale Machine Le ...
14:30 - 15:00
AGERE
Run, Actor, Run - Towards Cross-Actor Language Benchmarking
15:00 - 15:30
x
Thu 21 Nov 09:52