SPLASH 2019 (series) / AGERE 2019 (series) /
AGERE 2019 Program
This is the AGERE 2019 program - see the full program for SPLASH 2019 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 22 OctDisplayed time zone: Beirut change
Tue 22 Oct
Displayed time zone: Beirut change
09:00 - 10:30 | |||
09:00 15mTalk | Welcome and Introduction AGERE | ||
09:15 75mTalk | Pony: Semantics and Type System Co-DesignKeynote AGERE Sophia Drossopoulou Imperial College London | ||
11:00 - 12:30 | |||
11:00 30mTalk | Modal Assertions for Actor Correctness AGERE Colin Gordon Drexel University DOI Pre-print | ||
11:30 30mTalk | 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 30mTalk | 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 | |||
14:00 30mTalk | Krestianstvo Luminary: Decentralized Virtual Time for Croquet architecture AGERE Nikolai Suslov Fund for Supporting Development of RT Media Attached | ||
14:30 30mTalk | 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 30mTalk | 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 | ||