SPLASH 2017 (series) / AGERE 2017 (series) /
AGERE 2017 Program
This is the AGERE 2017 program - see the full program for SPLASH 2017 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 23 OctDisplayed time zone: Tijuana, Baja California change
Mon 23 Oct
Displayed time zone: Tijuana, Baja California change
08:30 - 10:00 | |||
08:45 15mTalk | Welcome and Introduction AGERE | ||
09:00 60mTalk | AGERE! Keynote: Advanced Features of the Orleans Programming FrameworkKeynote AGERE Philip A. Bernstein Microsoft Research File Attached |
10:30 - 12:00 | Session 1: Verification and Language ModelsAGERE at Prince of Wales Chair(s): Joeri De Koster Vrije Universiteit Brussel, Belgium | ||
10:30 30mTalk | Sparrow - A DSL for Coordinating Large Groups of Heterogeneous Actors AGERE Humberto Rodriguez Avila Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel File Attached | ||
11:00 30mTalk | Tree Topologies for Causal Message Delivery AGERE Sebastian Blessing Imperial College London, Sylvan Clebsch Imperial College London, Sophia Drossopoulou | ||
11:30 30mTalk | Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency AGERE File Attached |
13:30 - 15:00 | Session 2: Runtime Environments and DebuggingAGERE at Prince of Wales Chair(s): Joeri De Koster Vrije Universiteit Brussel, Belgium | ||
13:30 30mTalk | Locality-Guided Scheduling in CAF AGERE File Attached | ||
14:00 30mTalk | A Principled Approach Towards Debugging Communicating Event-Loops AGERE Carmen Torres Lopez , Stefan Marr University of Kent, Elisa Gonzalez Boix Vrije Universiteit Brussel, Hanspeter Mössenböck JKU Linz, Austria, Christophe Scholliers Universiteit Gent, Belgium | ||
14:30 30mTalk | Actoverse: A Reversible Debugger for Actors AGERE Link to publication DOI |
15:30 - 17:00 | |||
15:30 60mTalk | AGERE! Keynote: Actors for Big Data: Applications and Open ProblemsKeynote AGERE | ||
16:30 30mTalk | Discussion/Panel AGERE |