SPLASH 2015 (series) / AGERE! 2015 (series) / Programming based on Actors, Agents, and Decentralized Control /
Deny Capabilities for Safe, Fast Actors
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 OctDisplayed time zone: Eastern Time (US & Canada) change
Mon 26 Oct
Displayed time zone: Eastern Time (US & Canada) change
13:30 - 15:00 | |||
13:30 20mTalk | Deny Capabilities for Safe, Fast Actors AGERE! Media Attached | ||
13:50 20mTalk | Optimizing Communicating Event-Loop Languages with Truffle AGERE! Link to publication Pre-print Media Attached | ||
14:10 20mTalk | Actario: A Framework for Reasoning About Actor Systems AGERE! Link to publication Pre-print Media Attached | ||
14:30 20mTalk | 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 |