Sylvan Clebsch

Signature Research (United States) — United States

Computer Science · Physical Sciences

11h-index384citations31works1.72yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Distributed systems and fault tolerance(20), Parallel Computing and Optimization Techniques(13), Logic, programming, and type systems(11), Security and Verification in Computing(9), Cloud Data Security Solutions(9)

Publications31 total

Decoupling Isolation and Concurrency: An Actor-Centric View of Behaviour-Oriented Concurrency
Lecture notes in computer science·2025
Dynamic Region Ownership for Concurrency Safety
Proceedings of the ACM on Programming Languages·2025· 1 citedOpen Access
Trieste: A C++ DSL for Flexible Tree Rewriting
2024· 1 citedOpen Access
Confidential Container Groups
Communications of the ACM·2024· 2 citedOpen Access
Reference Counting Deeply Immutable Data Structures with Cycles: An Intellectual Abstract
2024· 1 citedOpen Access
Confidential Container Groups
Queue·2024· 5 citedOpen Access
Why Should I Trust Your Code?
Communications of the ACM·2023· 3 citedOpen Access
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
arXiv (Cornell University)·2023Open Access
When Concurrency Matters: Behaviour-Oriented Concurrency
Proceedings of the ACM on Programming Languages·2023· 7 citedOpen Access
Reference Capabilities for Flexible Memory Management
Proceedings of the ACM on Programming Languages·2023· 11 citedOpen Access
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
Proceedings of the VLDB Endowment·2023· 14 cited
Why Should I Trust Your Code?
Queue·2023· 10 citedOpen Access
Wait-Free Weak Reference Counting
2023· 3 cited
Parma: Confidential Containers via Attested Execution Policies
arXiv (Cornell University)·2023· 1 citedOpen Access
AMP
2021· 16 citedOpen Access
PAC: Practical Accountability for CCF.
arXiv (Cornell University)·2021· 2 citedOpen Access
IA-CCF: Individual Accountability for Permissioned Ledgers
arXiv (Cornell University)·2021· 3 citedOpen Access
Toward confidential cloud computing
Communications of the ACM·2021· 28 cited
Toward Confidential Cloud Computing
Queue·2021· 18 citedOpen Access
Multi-Stakeholder Media Provenance Management to Counter Synthetic Media Risks in News Publishing
2020· 11 cited
page 1 of 2Next →

Frequent Co-authors

Manuel Costa(12), Cédric Fournet(12), Sophia Drossopoulou(11), Amaury Chamayou(8), Matthew Parkinson(8), Mark Russinovich(8), Antoine Delignat-Lavaud(8), Tobias Wrigstad(8), Alex Shamis(7), Christoph M. Wintersteiger(7), Matthew Johnson(5), Juliana Franco(4), David Chisnall(4), Kapil Vaswani(4), Edward Ashton(4), Matthew S. Kerner(4), Julien Maffre(4), Jan Vítek(3), H.S. Malvar(3), Eric Horvitz(3)