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

13:30 - 15:00: AGERE - Session 3 - Types and Verification at Grand Station 4
agere201513:30 - 13:50
Sylvan ClebschImperial College London, Sophia DrossopoulouImperial College London
Media Attached
agere201513:50 - 14:10
Stefan MarrINRIA, France, Hanspeter MössenböckJohannes Kepler University Linz
Link to publication Pre-print Media Attached
agere201514:10 - 14:30
Shohei YasutakeTokyo Institute of Technology, Takuo WatanabeTokyo Institute of Technology
Link to publication Pre-print Media Attached
agere201514:30 - 14:50
Najah Ben SaidVerimag, Takoua AbdellatifUniversity of Sousse, Saddek BensalemVerimag, Marius BozgaVerimag/CNRS