Sophia Drossopoulou
Imperial College London
H-index: 34
Europe-United Kingdom
Top articles of Sophia Drossopoulou
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
When Concurrency Matters: Behaviour-Oriented Concurrency | Proceedings of the ACM on Programming Languages | Luke Cheeseman Matthew J Parkinson Sylvan Clebsch Marios Kogias Sophia Drossopoulou | 2023/10/16 |
Reference capabilities for flexible memory management | Proceedings of the ACM on Programming Languages | Ellen Arvidsson Elias Castegren Sylvan Clebsch Sophia Drossopoulou James Noble | 2023/10/16 |
Necessity specifications for robustness | Proceedings of the ACM on Programming Languages | Julian Mackay Susan Eisenbach James Noble Sophia Drossopoulou | 2022/10/31 |
Facebook’s cyber–cyber and cyber–physical digital twins | John Ahlgren Kinga Bojarczuk Sophia Drossopoulou Inna Dvortsova Johann George | 2021/6/21 | |
Reshape your layouts, not your programs: A safe language extension for better cache locality | Science of Computer Programming | Alexandros Tasos Juliana Franco Sophia Drossopoulou Tobias Wrigstad Susan Eisenbach | 2020/10/1 |
Modern garbage collector for HashLink and its formal verification | Aurel Bílý Susan Eisenbach Sophia Drossopoulou | 2020/6/15 | |
Holistic Specifications for Robust Programs. | Sophia Drossopoulou James Noble Julian Mackay Susan Eisenbach | 2020/3/13 | |
Implementation of SHAPES Case Studies (Artifact) | Alexandros Tasos Juliana Franco Sophia Drossopoulou Tobias Wrigstad Susan Eisenbach | 2020 |
Co-Authors
