SPLASH 2018 (series) / AGERE 2018 (series) /
AGERE 2018 Program
This is the AGERE 2018 program - see the full program for SPLASH 2018 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 5 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Mon 5 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change
08:30 - 10:00 | |||
08:30 15mTalk | Welcome and Introduction AGERE | ||
08:45 75mTalk | Concurrency vs. Parallelism in Encore (...and Types)Keynote AGERE Tobias Wrigstad Uppsala University |
10:30 - 12:00 | |||
10:30 30mTalk | A Configurable Transport Layer for CAF AGERE Link to publication DOI File Attached | ||
11:00 30mTalk | Distributed Functional Reactive Programming on Actor-Based Runtime AGERE Link to publication DOI | ||
11:30 30mTalk | Observable atomic consistency for CvRDTs AGERE |
13:30 - 15:00 | |||
13:30 30mTalk | Chocola: Integrating Futures, Actors, and Transactions AGERE Janwillem Swalens Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel Pre-print | ||
14:00 30mTalk | Concurrent Garbage Collection in the Actor Model AGERE | ||
14:30 30mTalk | Attached and Detached Closures in Actors AGERE Elias Castegren Uppsala University, Dave Clarke Uppsala Univ. Sweden and KU Leuvern, Kiko Fernandez-Reyes Uppsala University, Tobias Wrigstad Uppsala University, Albert Mingkun Yang Uppsala University |
15:30 - 17:00 | |||
15:30 30mTalk | Implementing Linking in Multiparty Sessions AGERE | ||
16:00 30mTalk | Compositional Programming and Testing of Actor Programs AGERE Ankush Desai University of California, Berkeley, Shaz Qadeer Microsoft Research, Sanjit Seshia UC Berkeley |