Imperial College London
Alternate

ProfessorSophiaDrossopoulou

Faculty of Engineering, Department of Computing

Professor of Programming Languages
 
 
 
//

Contact

 

s.drossopoulou Website

 
 
//

Location

 

559Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@techreport{Franco:2018:10.25561/94875,
author = {Franco, J and Clebsch, S and Drossopoulou, S and Vitek, J and Wrigstad, T},
booktitle = {Departmental Technical Report: 18/1},
doi = {10.25561/94875},
publisher = {Department of Computing, Imperial College London},
title = {Soundness of a concurrent collector for actors (extended version)},
url = {http://dx.doi.org/10.25561/94875},
year = {2018}
}
Download

RIS format (EndNote, RefMan)

TY  - RPRT
AB  - ORCA is a garbage collection protocol for actor-based programs.Multiple actors may mutate the heap while the collector is runningwithout any dedicated synchronisation. ORCA is applicable to anyactor language whose type system prevents data races and which supportscausal message delivery. We present a model of ORCA which isparametric to the host language and its type system. We describe theinterplay between the host language and the collector. We give invariantspreserved by ORCA, and prove its soundness and completeness.
AU  - Franco,J
AU  - Clebsch,S
AU  - Drossopoulou,S
AU  - Vitek,J
AU  - Wrigstad,T
DO  - 10.25561/94875
PB  - Department of Computing, Imperial College London
PY  - 2018///
TI  - Soundness of a concurrent collector for actors (extended version)
T1  - Departmental Technical Report: 18/1
UR  - http://dx.doi.org/10.25561/94875
UR  - http://hdl.handle.net/10044/1/94875
ER  -
Download