STOKED 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
co-located with SPLASH 2019
VenueRoyal Olympic Hotel
Room nameRoom 3A
Floor3
Room number3
Capacity60
Room Information

Half of 3rd floor conference room

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
KeynoteIC at Room 3A
Chair(s): Tamás Szabó itemis / JGU Mainz
09:00
90m
Talk
Differential dataflow: a model and implementationKeynote
IC
K: Frank McSherry Materialize, Inc
11:00 - 12:30
Incremental DatalogIC 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 servicesIC 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 & SemanticsIC 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
KeynoteAGERE at Room 3A
09:00
15m
Talk
Welcome and Introduction
AGERE

09:15
75m
Talk
Pony: Semantics and Type System Co-DesignKeynote
AGERE
Sophia Drossopoulou Imperial College London
11:00 - 12:30
Session 1AGERE 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 2AGERE 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/PanelAGERE at Room 3A

Mon 21 Oct

Displayed time zone: Beirut change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room 3A

Tue 22 Oct

Displayed time zone: Beirut change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room 3A