Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

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
30m
Talk
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
30m
Talk
Tree Topologies for Causal Message Delivery
AGERE
Sebastian Blessing Imperial College London, Sylvan Clebsch Imperial College London, Sophia Drossopoulou
11:30
30m
Talk
Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency
AGERE
Mehdi Bagherzadeh Oakland University, Hridesh Rajan Iowa State University
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
30m
Talk
Locality-Guided Scheduling in CAF
AGERE
File Attached
14:00
30m
Talk
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
30m
Talk
Actoverse: A Reversible Debugger for Actors
AGERE
Kazuhiro Shibanai Tokyo Institute of Technology, Takuo Watanabe Tokyo Institute of Technology
Link to publication DOI