Mon 26 Oct 2015 13:30 - 13:50 at Grand Station 4 - Session 3 - Types and Verification

Combining the actor-model with shared memory for performance is efficient but can introduce data-races. Existing approaches to static data-race freedom are based on uniqueness and immutability, but lack flexibility and high performance implementations. Our approach, based on deny properties, allows reading, writing and traversing unique references, introduces a new form of write uniqueness, and guarantees atomic behaviours.

Mon 26 Oct

Displayed time zone: Eastern Time (US & Canada) change

13:30 - 15:00
Session 3 - Types and VerificationAGERE! at Grand Station 4
13:30
20m
Talk
Deny Capabilities for Safe, Fast Actors
AGERE!
Sylvan Clebsch Imperial College London, Sophia Drossopoulou Imperial College London
Media Attached
13:50
20m
Talk
Optimizing Communicating Event-Loop Languages with Truffle
AGERE!
Stefan Marr INRIA, France, Hanspeter Mössenböck Johannes Kepler University Linz
Link to publication Pre-print Media Attached
14:10
20m
Talk
Actario: A Framework for Reasoning About Actor Systems
AGERE!
Shohei Yasutake Tokyo Institute of Technology, Takuo Watanabe Tokyo Institute of Technology
Link to publication Pre-print Media Attached
14:30
20m
Talk
A model-based approach to secure multi-party distributed systems
AGERE!
Najah Ben Said Verimag, Takoua Abdellatif University of Sousse, Saddek Bensalem Verimag, Marius Bozga Verimag/CNRS