Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece

Conference Dates
Conference Dates are in time zone (GMT+03:00) Beirut, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
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 DrossopoulouImperial College London
11:00 - 12:30
Session 1AGERE at Room 3A
11:00
30m
Talk
Modal Assertions for Actor Correctness
AGERE
Colin GordonDrexel University
DOI Pre-print
11:30
30m
Talk
Static Local Coordination Avoidance for Distributed Objects
AGERE
Tim SoethoutING Bank and Centrum Wiskunde & Informatica (CWI), The Netherlands, Tijs van der StormCWI & University of Groningen, Netherlands, Jurgen VinjuCWI, Netherlands
DOI Pre-print Media Attached
12:00
30m
Talk
Locations and Session Types in a Language with Higher-Order Reflection
AGERE
Michael TranDepartment of Computer Science, Aalborg University, Denmark, Alexander Rønning BendixenDepartment of Computer Science, Aalborg University, Denmark, Bjarke Bredow BojesenDepartment of Computer Science, Aalborg University, Denmark, Hans HüttelDepartment of Computer Science, Aalborg University, Stian Lasse LybechDepartment 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 SuslovFund 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 SakuraiGraduate School of Natural Science & Technology, Kanazawa University, Taiki ShimizuGraduate School of Natural Science & Technology, Kanazawa University
15:00
30m
Talk
Run, Actor, Run - Towards Cross-Actor Language Benchmarking
AGERE
Sebastian BlessingImperial College London, Kiko Fernandez-ReyesUppsala University, Albert Mingkun Yang, Sophia DrossopoulouImperial College London, Tobias WrigstadUppsala University
16:00 - 17:30
Discussion/PanelAGERE at Room 3A