Publications

BibTex format

@inproceedings{Clebsch:2015:10.1145/2824815.2824816,
author = {Clebsch, S and Drossopoulou, S and Blessing, S and McNeil, A},
doi = {10.1145/2824815.2824816},
pages = {1--12},
title = {Deny capabilities for safe, fast actors},
url = {http://dx.doi.org/10.1145/2824815.2824816},
year = {2015}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - 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.
AU  - Clebsch,S
AU  - Drossopoulou,S
AU  - Blessing,S
AU  - McNeil,A
DO  - 10.1145/2824815.2824816
EP  - 12
PY  - 2015///
SP  - 1
TI  - Deny capabilities for safe, fast actors
UR  - http://dx.doi.org/10.1145/2824815.2824816
ER  -

Download

ProfessorSophiaDrossopoulou

Contact

Location

Summary

Citation

BibTex format

RIS format (EndNote, RefMan)