Fully concurrent garbage collection of actors on many-core machines. - Sylvan Clebsch; Sophia Drossopoulou (OOPSLA, 2013)

Deny capabilities for safe, fast actors. - Sylvan Clebsch; Sophia Drossopoulou; Sebastian Blessing; Andy McNeil (AGERE!@SPLASH, 2015)

Tree topologies for causal message delivery. - Sebastian Blessing; Sylvan Clebsch; Sophia Drossopoulou (AGERE!@SPLASH, 2017)

Orca: GC and type system co-design for actor languages. - Sylvan Clebsch; Juliana Franco; Sophia Drossopoulou; Albert Mingkun Yang; Tobias Wrigstad; Jan Vitek (Proc. ACM Program. Lang., 2017)

'Pony': co-designing a type system and a runtime. - Sylvan Clebsch (2017)

Correctness of a Concurrent Object Collector for Actor Languages. - Juliana Franco; Sylvan Clebsch; Sophia Drossopoulou; Jan Vitek; Tobias Wrigstad (ESOP, 2018)

snmalloc: a message passing allocator. - Paul Liétar; Theodore Butler; Sylvan Clebsch; Sophia Drossopoulou; Juliana Franco; Matthew J. Parkinson; Alex Shamis; Christoph M. Wintersteiger; David Chisnall (ISMM, 2019)

AMP: Authentication of Media via Provenance. - Paul England; Henrique S. Malvar; Eric Horvitz; Jack W. Stokes; Cédric Fournet; Amaury Chamayou; Sylvan Clebsch; Manuel Costa; Shabnam Erfani; Kevin Kane; Alex Shamis (CoRR, 2020)

AMP: authentication of media via provenance. - Paul England; Henrique S. Malvar; Eric Horvitz; Jack W. Stokes; Cédric Fournet; Rebecca Burke-Aguero; Amaury Chamayou; Sylvan Clebsch; Manuel Costa; John Deutscher; Shabnam Erfani; Matt Gaylor; et al. (MMSys, 2021)

Toward confidential cloud computing. - Mark Russinovich; Manuel Costa; Cédric Fournet; David Chisnall; Antoine Delignat-Lavaud; Sylvan Clebsch; Kapil Vaswani; Vikas Bhatia (Commun. ACM, 2021)

PAC: Practical Accountability for CCF. - Alex Shamis; Peter R. Pietzuch; Miguel Castro 001; Edward Ashton; Amaury Chamayou; Sylvan Clebsch; Antoine Delignat-Lavaud; Cédric Fournet; Matthew Kerner; Julien Maffre; Manuel Costa; Mark Russinovich (CoRR, 2021)

Toward Confidential Cloud Computing: Extending hardware-enforced cryptographic protection to data while in use. - Mark Russinovich; Manuel Costa; Cédric Fournet; David Chisnall; Antoine Delignat-Lavaud; Sylvan Clebsch; Kapil Vaswani; Vikas Bhatia (ACM Queue, 2021)

IA-CCF: Individual Accountability for Permissioned Ledgers. - Alex Shamis; Peter R. Pietzuch; Burcu Canakci; Miguel Castro 001; Cédric Fournet; Edward Ashton; Amaury Chamayou; Sylvan Clebsch; Antoine Delignat-Lavaud; Matthew Kerner; Julien Maffre; Olga Vrousgou; et al. (NSDI, 2022)

Wait-Free Weak Reference Counting. - Matthew J. Parkinson; Sylvan Clebsch; Ben Simner (ISMM, 2023)

COCOAEXPO: Confidential Containers via Attested Execution Policies. - Matthew A. Johnson 003; Stavros Volos; Ken Gordon; Sean T. Allen; Christoph M. Wintersteiger; Sylvan Clebsch; John Starks; Manuel Costa (CoRR, 2023)

Reference Capabilities for Flexible Memory Management: Extended Version. - Ellen Arvidsson; Elias Castegren; Sylvan Clebsch; Sophia Drossopoulou; James Noble 001; Matthew J. Parkinson; Tobias Wrigstad (CoRR, 2023)

Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability. - Heidi Howard; Fritz Alder; Edward Ashton; Amaury Chamayou; Sylvan Clebsch; Manuel Costa; Antoine Delignat-Lavaud; Cédric Fournet; Andrew Jeffery; Matthew Kerner; Fotios Kounelis; Markus A. Kuppe; et al. (Proc. VLDB Endow., 2023)

Why Should I Trust Your Code?: Confidential computing enables users to authenticate code running in TEEs, but users also need evidence this code is trustworthy. - Antoine Delignat-Lavaud; Cédric Fournet; Kapil Vaswani; Sylvan Clebsch; Maik Riechert; Manuel Costa; Mark Russinovich (ACM Queue, 2023)

Reference Capabilities for Flexible Memory Management. - Ellen Arvidsson; Elias Castegren; Sylvan Clebsch; Sophia Drossopoulou; James Noble 001; Matthew J. Parkinson; Tobias Wrigstad (Proc. ACM Program. Lang., 2023)

When Concurrency Matters: Behaviour-Oriented Concurrency. - Luke Cheeseman; Matthew J. Parkinson; Sylvan Clebsch; Marios Kogias; Sophia Drossopoulou; David Chisnall; Tobias Wrigstad; Paul Liétar (Proc. ACM Program. Lang., 2023)

Reference Counting Deeply Immutable Data Structures with Cycles: An Intellectual Abstract. - Matthew J. Parkinson; Sylvan Clebsch; Tobias Wrigstad (ISMM, 2024)

Trieste: A C++ DSL for Flexible Tree Rewriting. - Sylvan Clebsch; Matilda Blomqvist; Elias Castegren; Matthew A. Johnson 003; Matthew J. Parkinson (SLE, 2024)

Confidential Container Groups: Implementing confidential computing on Azure container instances. - Matthew A. Johnson 003; Stavros Volos; Ken Gordon; Sean T. Allen; Christoph M. Wintersteiger; Sylvan Clebsch; John Starks; Manuel Costa (ACM Queue, 2024)

Why Should I Trust Your Code? - Antoine Delignat-Lavaud; Cédric Fournet; Kapil Vaswani; Sylvan Clebsch; Maik Riechert; Manuel Costa; Mark Russinovich (Commun. ACM, 2024)

Confidential Container Groups. - Matthew A. Johnson 003; Stavros Volos; Ken Gordon; Sean T. Allen; Christoph M. Wintersteiger; Sylvan Clebsch; John Starks; Manuel Costa (Commun. ACM, 2024)

Dynamic Region Ownership for Concurrency Safety. - Fridtjof Peer Stoldt; Gary Brandt Bucher II; Sylvan Clebsch; Matthew A. Johnson 003; Matthew J. Parkinson; Guido van Rossum; Eric Snow; Tobias Wrigstad (Proc. ACM Program. Lang., 2025)

Transparent Attested DNS for Confidential Computing Services. - Antoine Delignat-Lavaud; Cédric Fournet; Kapil Vaswani; Manuel Costa; Sylvan Clebsch; Christoph M. Wintersteiger (CoRR, 2025)