DLS 2019
Sun 20 - Fri 25 October 2019
Athens, Greece
co-located with
SPLASH 2019
Toggle navigation
Attending
Venue: Royal Olympic Hotel
Banquet Venue: Aegli
SPLASH 2019
Awards
Local information
Students
Registration
Visa
Sponsoring SPLASH
Code of conduct
Remote participation
Program
DLS Program
Your Program
Sun 20 Oct
Mon 21 Oct
Tue 22 Oct
Wed 23 Oct
Thu 24 Oct
Fri 25 Oct
Track/Call
Organization
DLS 2019 Committees
Track Committees
Program Committee
Organizing Committee
Steering Committee
Contributors
People Index
Search
Series
Series
DLS 2023
DLS 2022
DLS 2021
DLS 2020
DLS 2019
DLS 2018
DLS 2017
DLS 2016
DLS 2015
DLS
DLS 2013
DLS 2012
DLS 2011
Sign in
Sign up
SPLASH 2019
(
series
) /
DLS 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
Sun 24 Nov 09:15