S. Clebsch

Most-cited papers

Deny capabilities for safe, fast actors
S. Clebsch, S. Drossopoulou, Sebastian Blessing, Andy McNeil
2015AGERE!@SPLASH129 citations
Semantic Scholar
CCF: A Framework for Building Confidential Verifiable Replicated Services
M. Russinovich, Edward Ashton, Christine Avanessians, Miguel Castro +15 more
201996 citations
Semantic Scholar
Toward confidential cloud computing
M. Russinovich, M. Costa, C. Fournet, D. Chisnall +4 more
2021Queue55 citations Open access
Semantic Scholar
snmalloc: a message passing allocator
Paul Liétar, T. Butler, S. Clebsch, S. Drossopoulou +5 more
2019International Symposium on Mathematical Morphology and Its Application to Signal and Image Processing42 citations
Semantic Scholar
AMP: authentication of media via provenance
P. England, Henrique S. Malvar, E. Horvitz, J. Stokes +16 more
2020ACM SIGMM Conference on Multimedia Systems34 citations Open access
Semantic Scholar
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
Heidi Howard, F. Alder, Edward Ashton, A. Chamayou +11 more
2023Proceedings of the VLDB Endowment31 citations
Semantic Scholar
Fully concurrent garbage collection of actors on many-core machines
S. Clebsch, S. Drossopoulou
2013Conference on Object-Oriented Programming Systems, Languages, and Applications30 citations
Semantic Scholar
Orca: GC and type system co-design for actor languages
S. Clebsch, Juliana Franco, S. Drossopoulou, A. Yang +2 more
2017Proc. ACM Program. Lang.28 citations Open access
Semantic Scholar
MULTI-STAKEHOLDER MEDIA PROVENANCE MANAGEMENT TO COUNTER SYNTHETIC MEDIA RISKS IN NEWS PUBLISHING
J. Aythora, R. Burke-Agüero, A. Chamayou, S. Clebsch +23 more
202021 citations
Semantic Scholar
Why Should I Trust Your Code?
A. Delignat-Lavaud, C. Fournet, K. Vaswani, S. Clebsch +3 more
2023Queue19 citations Open access
Semantic Scholar
Reference Capabilities for Flexible Memory Management
Ellen Arvidsson, Elias Castegren, S. Clebsch, S. Drossopoulou +3 more
2023Proc. ACM Program. Lang.17 citations Open access
Semantic Scholar
Tree topologies for causal message delivery
Sebastian Blessing, S. Clebsch, S. Drossopoulou
2017AGERE!@SPLASH14 citations
Semantic Scholar
'Pony': co-designing a type system and a runtime
S. Clebsch
201711 citations
Semantic Scholar
Ownership and Reference Counting based Garbage Collection in the Actor World
S. Clebsch, Sebastian Blessing, Juliana Franco, S. Drossopoulou
201511 citations
Semantic Scholar
Why Should I Trust Your Code?
A. Delignat-Lavaud, C. Fournet, K. Vaswani, S. Clebsch +3 more
2023Communications of the ACM9 citations Open access
Semantic Scholar
When Concurrency Matters: Behaviour-Oriented Concurrency
Luke Cheeseman, Matthew J. Parkinson, S. Clebsch, Marios Kogias +4 more
2023Proc. ACM Program. Lang.9 citations Open access
Semantic Scholar
Confidential Container Groups
Matthew A. Johnson, Stavros Volos, Ken Gordon, S. T. Allen +4 more
2024Queue7 citations Open access
Semantic Scholar
PAC: Practical Accountability for CCF
A. Shamis, P. Pietzuch, Miguel Castro, Edward Ashton +8 more
2021arXiv.org5 citations
Semantic Scholar
Dynamic Region Ownership for Concurrency Safety
Fridtjof Peer Stoldt, Brandt Bucher, S. Clebsch, Matthew A. Johnson +4 more
2025Proc. ACM Program. Lang.4 citations Open access
Semantic Scholar
Correctness of a Concurrent Object Collector for Actor Languages
Juliana Franco, S. Clebsch, S. Drossopoulou, J. Vitek +1 more
2018European Symposium on Programming4 citations Open access
Semantic Scholar
This paper is included in the Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation
Systems Design, A. Shamis, Peter Pietzuch, B. Canakci +14 more
4 citations
Semantic Scholar
Parma: Confidential Containers via Attested Execution Policies
Matthew A. Johnson, Stavros Volos, Ken Gordon, S. T. Allen +4 more
20233 citations
Semantic Scholar
Decoupling Isolation and Concurrency: An Actor-Centric View of Behaviour-Oriented Concurrency
Luke Cheeseman, Elias Castegren, S. Drossopoulou, Tobias Wrigstad +2 more
2026Concurrent Programming, Open Systems and Formal Methods2 citations
Semantic Scholar
Transparent Attested DNS for Confidential Computing Services
A. Delignat-Lavaud, C. Fournet, K. Vaswani, Manuel Costa +2 more
2025USENIX Security Symposium2 citations
Semantic Scholar
Confidential Container Groups
Matthew A. Johnson, Stavros Volos, Ken Gordon, S. T. Allen +4 more
2024Communications of the ACM2 citations Open access
Semantic Scholar
Reference Counting Deeply Immutable Data Structures with Cycles: An Intellectual Abstract
Matthew J. Parkinson, S. Clebsch, Tobias Wrigstad
2024International Symposium on Mathematical Morphology and Its Application to Signal and Image Processing2 citations Open access
Semantic Scholar
COCOAEXPO: Confidential Containers via Attested Execution Policies
Matthew A. Johnson, Stavros Volos, Ken Gordon, Sean T. Allen +4 more
2023arXiv.org2 citations Open access
Semantic Scholar
Dynamically Checked Deep Immutability in Python
Fridtjof Peer Stoldt, S. Clebsch, Matthew A. Johnson, Matthew J. Parkinson +1 more
2026Proc. ACM Program. Lang.1 citations Open access
Semantic Scholar
Trieste: A C++ DSL for Flexible Tree Rewriting
S. Clebsch, Matilda Blomqvist, Elias Castegren, Matthew A. Johnson +1 more
2024Software Language Engineering1 citations Open access
Semantic Scholar
Soundness of a Concurrent Collector for Actors (Extended Version)
Juliana Franco, S. Clebsch, S. Drossopoulou, J. Vitek +1 more
20181 citations
Semantic Scholar
Wait-Free Weak Reference Counting
Matthew J. Parkinson, S. Clebsch, Ben Simner
2023International Symposium on Mathematical Morphology and Its Application to Signal and Image Processing0 citations Open access
Semantic Scholar
Proceedings of the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control
S. Clebsch, Travis Desell, Philipp Haller, Alessandro Ricci
20160 citations
Semantic Scholar