Sylvan Clebsch

Partner Research Software Development Engineer

Publications

View by:

- Dynamically Checked Deep Immutability in Python
  
  Fridtjof Stoldt, Sylvan Clebsch, Matthew Johnson, Matthew J. Parkinson, Tobias Wrigstad
  
  Proceedings of the ACM on Programming Languages | June 2026, Vol 10(PLDI): pp. 2623-2646
  
  DOI Project
- Dynamic Region Ownership for Concurrency Safety
  
  Fridtjof Peer Stoldt, Brandt Bucher, Sylvan Clebsch, Matthew Johnson, Matthew J. Parkinson, Guido Van Rossum, Eric Snow, Tobias Wrigstad
  
  PACMPL | June 2025, Vol 9(PLDI)
  
  Preprint Publication Project
- Confidential Container Groups: Implementing Confidential Computing on Azure Container Instances
  
  Matthew Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Sylvan Clebsch, Christoph M. Wintersteiger, John Starks, Manuel Costa
  
  Communications of the ACM | October 2024, Vol 67(10): pp. 40-49
  
  Publication Preprint Project
- Reference Counting Deeply Immutable Data Structures with Cycles: an Intellectual Abstract
  
  Matthew J. Parkinson, Sylvan Clebsch, Tobias Wrigstad
  
  n Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management (ISMM ’24) | June 2024
  
  Preprint Publication Project
- 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. | October 2023, Vol 7(OOPSLA2)
  
  DOI Preprint Project
- Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
  
  Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
  
  Proceedings of the VLDB Endowment | October 2023, Vol 17(2)
  
  Nominee for Best Paper Award
  
  Publication Preprint Author's Version Project
- Reference Capabilities for Flexible Memory Management
  
  Ellen Arvidsson, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, Matthew J. Parkinson, James Noble, Tobias Wrigstad
  
  Proc. ACM Program. Lang. | October 2023, Vol 7(OOPSLA2)
  
  DOI Preprint Project
- Wait-Free Weak Reference Counting
  
  Matthew J. Parkinson, Sylvan Clebsch, Ben Simner
  
  ACM SIGPLAN International Symposium on Memory Management | June 2023
  
  Publication DOI Project
- Parma: Confidential Containers via Attested Execution Policies
  
  Matthew Johnson, Stavros Volos, Ken Gordon, Sean Allen, Sylvan Clebsch, John Starks, Manuel Costa
  
  March 2023
  
  arXiv | March 2023
  
  Preprint
- IA-CCF: Individual Accountability for Permissioned Ledgers
  
  Alex Shamis, Peter Pietzuch, Burcu Canakci, Miguel Castro, Cédric Fournet, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich
  
  19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22) | April 2022
  
  Publication Project
- 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, Andrew Jenks, Kevin Kane, Elissa M. Redmiles, Alex Shamis, Isha Sharma, Sam Wenker, Anika Zaman
  
  12th ACM Multimedia Systems Conference | July 2021
  
  Publication Publication Project
- Toward Confidential Cloud Computing
  
  Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
  
  January 2021
  
  acmqueue magazine | January 2021
  
  Publication
- Multi-Stakeholder Media Provenance Management to Counter Synthetic Media Risks in News Publishing
  
  J. Aythora, R. Burke‐Agüero, A. Chamayou, S. Clebsch, M. Costa, N. Earnshaw, L. Ellis, P. England, C. Fournet, M. Gaylor, C. Halford, E. Horvitz, A. Jenks, K. Kane, M. Lavallee, S. Lowenstein, B. MacCormack, H. S. Malvar, S. O'Brien, J. Parnall, E. M. Redmiles, A. Shamis, I. Sharma, J. W. Stokes, S. Wenker, A. Zaman
  
  International Broadcasting Convention (IBC) | September 2020
  
  Project
- snmalloc: A message passing Allocator
  
  David Chisnall, Sylvan Clebsch, Sophia Drossopoulou, Juliana Vicente Franco, Paul Lietar, Matthew J. Parkinson, Alex Shamis, Christoph M. Wintersteiger
  
  ISSM | June 2019, pp. 122-135
  
  Publication Project
- CCF: A Framework for Building Confidential Verifiable Replicated Services
  
  Mark Russinovich, Edward Ashton, Christine Avanessians, Miguel Castro, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Cédric Fournet, Matthew Kerner, Sid Krishna, Julien Maffre, Thomas Moscibroda, Kartik Nayak, Olga Ohrimenko, Felix Schuster, Roy Schuster, Alex Shamis, Olga Vrousgou, Christoph M. Wintersteiger
  
  MSR-TR-2019-16 | April 2019
  
  Published by Microsoft
  
  Publication Github Project

- Dynamically Checked Deep Immutability in Python
  
  Fridtjof Stoldt, Sylvan Clebsch, Matthew Johnson, Matthew J. Parkinson, Tobias Wrigstad
  
  Proceedings of the ACM on Programming Languages | June 2026, Vol 10(PLDI): pp. 2623-2646
  
  DOI Project
- Dynamic Region Ownership for Concurrency Safety
  
  Fridtjof Peer Stoldt, Brandt Bucher, Sylvan Clebsch, Matthew Johnson, Matthew J. Parkinson, Guido Van Rossum, Eric Snow, Tobias Wrigstad
  
  PACMPL | June 2025, Vol 9(PLDI)
  
  Preprint Publication Project
- Reference Counting Deeply Immutable Data Structures with Cycles: an Intellectual Abstract
  
  Matthew J. Parkinson, Sylvan Clebsch, Tobias Wrigstad
  
  n Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management (ISMM ’24) | June 2024
  
  Preprint Publication Project
- 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. | October 2023, Vol 7(OOPSLA2)
  
  DOI Preprint Project
- Reference Capabilities for Flexible Memory Management
  
  Ellen Arvidsson, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, Matthew J. Parkinson, James Noble, Tobias Wrigstad
  
  Proc. ACM Program. Lang. | October 2023, Vol 7(OOPSLA2)
  
  DOI Preprint Project
- Wait-Free Weak Reference Counting
  
  Matthew J. Parkinson, Sylvan Clebsch, Ben Simner
  
  ACM SIGPLAN International Symposium on Memory Management | June 2023
  
  Publication DOI Project
- Confidential Container Groups: Implementing Confidential Computing on Azure Container Instances
  
  Matthew Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Sylvan Clebsch, Christoph M. Wintersteiger, John Starks, Manuel Costa
  
  Communications of the ACM | October 2024, Vol 67(10): pp. 40-49
  
  Publication Preprint Project
- Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
  
  Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
  
  Proceedings of the VLDB Endowment | October 2023, Vol 17(2)
  
  Nominee for Best Paper Award
  
  Publication Preprint Author's Version Project
- Parma: Confidential Containers via Attested Execution Policies
  
  Matthew Johnson, Stavros Volos, Ken Gordon, Sean Allen, Sylvan Clebsch, John Starks, Manuel Costa
  
  March 2023
  
  arXiv | March 2023
  
  Preprint
- IA-CCF: Individual Accountability for Permissioned Ledgers
  
  Alex Shamis, Peter Pietzuch, Burcu Canakci, Miguel Castro, Cédric Fournet, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich
  
  19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22) | April 2022
  
  Publication Project
- Toward Confidential Cloud Computing
  
  Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
  
  January 2021
  
  acmqueue magazine | January 2021
  
  Publication
- Multi-Stakeholder Media Provenance Management to Counter Synthetic Media Risks in News Publishing
  
  J. Aythora, R. Burke‐Agüero, A. Chamayou, S. Clebsch, M. Costa, N. Earnshaw, L. Ellis, P. England, C. Fournet, M. Gaylor, C. Halford, E. Horvitz, A. Jenks, K. Kane, M. Lavallee, S. Lowenstein, B. MacCormack, H. S. Malvar, S. O'Brien, J. Parnall, E. M. Redmiles, A. Shamis, I. Sharma, J. W. Stokes, S. Wenker, A. Zaman
  
  International Broadcasting Convention (IBC) | September 2020
  
  Project
- snmalloc: A message passing Allocator
  
  David Chisnall, Sylvan Clebsch, Sophia Drossopoulou, Juliana Vicente Franco, Paul Lietar, Matthew J. Parkinson, Alex Shamis, Christoph M. Wintersteiger
  
  ISSM | June 2019, pp. 122-135
  
  Publication Project
- CCF: A Framework for Building Confidential Verifiable Replicated Services
  
  Mark Russinovich, Edward Ashton, Christine Avanessians, Miguel Castro, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Cédric Fournet, Matthew Kerner, Sid Krishna, Julien Maffre, Thomas Moscibroda, Kartik Nayak, Olga Ohrimenko, Felix Schuster, Roy Schuster, Alex Shamis, Olga Vrousgou, Christoph M. Wintersteiger
  
  MSR-TR-2019-16 | April 2019
  
  Published by Microsoft
  
  Publication Github Project
- Confidential Container Groups: Implementing Confidential Computing on Azure Container Instances
  
  Matthew Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Sylvan Clebsch, Christoph M. Wintersteiger, John Starks, Manuel Costa
  
  Communications of the ACM | October 2024, Vol 67(10): pp. 40-49
  
  Publication Preprint Project
- Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
  
  Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
  
  Proceedings of the VLDB Endowment | October 2023, Vol 17(2)
  
  Nominee for Best Paper Award
  
  Publication Preprint Author's Version Project
- 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, Andrew Jenks, Kevin Kane, Elissa M. Redmiles, Alex Shamis, Isha Sharma, Sam Wenker, Anika Zaman
  
  12th ACM Multimedia Systems Conference | July 2021
  
  Publication Publication Project
- CCF: A Framework for Building Confidential Verifiable Replicated Services
  
  Mark Russinovich, Edward Ashton, Christine Avanessians, Miguel Castro, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Cédric Fournet, Matthew Kerner, Sid Krishna, Julien Maffre, Thomas Moscibroda, Kartik Nayak, Olga Ohrimenko, Felix Schuster, Roy Schuster, Alex Shamis, Olga Vrousgou, Christoph M. Wintersteiger
  
  MSR-TR-2019-16 | April 2019
  
  Published by Microsoft
  
  Publication Github Project
- Toward Confidential Cloud Computing
  
  Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
  
  January 2021
  
  acmqueue magazine | January 2021
  
  Publication

- Dynamically Checked Deep Immutability in Python
  
  Fridtjof Stoldt, Sylvan Clebsch, Matthew Johnson, Matthew J. Parkinson, Tobias Wrigstad
  
  Proceedings of the ACM on Programming Languages | June 2026, Vol 10(PLDI): pp. 2623-2646
  
  DOI Project
- Dynamic Region Ownership for Concurrency Safety
  
  Fridtjof Peer Stoldt, Brandt Bucher, Sylvan Clebsch, Matthew Johnson, Matthew J. Parkinson, Guido Van Rossum, Eric Snow, Tobias Wrigstad
  
  PACMPL | June 2025, Vol 9(PLDI)
  
  Preprint Publication Project
- Confidential Container Groups: Implementing Confidential Computing on Azure Container Instances
  
  Matthew Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Sylvan Clebsch, Christoph M. Wintersteiger, John Starks, Manuel Costa
  
  Communications of the ACM | October 2024, Vol 67(10): pp. 40-49
  
  Publication Preprint Project
- 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. | October 2023, Vol 7(OOPSLA2)
  
  DOI Preprint Project
- Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
  
  Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
  
  Proceedings of the VLDB Endowment | October 2023, Vol 17(2)
  
  Nominee for Best Paper Award
  
  Publication Preprint Author's Version Project
- Reference Capabilities for Flexible Memory Management
  
  Ellen Arvidsson, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, Matthew J. Parkinson, James Noble, Tobias Wrigstad
  
  Proc. ACM Program. Lang. | October 2023, Vol 7(OOPSLA2)
  
  DOI Preprint Project
- snmalloc: A message passing Allocator
  
  David Chisnall, Sylvan Clebsch, Sophia Drossopoulou, Juliana Vicente Franco, Paul Lietar, Matthew J. Parkinson, Alex Shamis, Christoph M. Wintersteiger
  
  ISSM | June 2019, pp. 122-135
  
  Publication Project
- Reference Counting Deeply Immutable Data Structures with Cycles: an Intellectual Abstract
  
  Matthew J. Parkinson, Sylvan Clebsch, Tobias Wrigstad
  
  n Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management (ISMM ’24) | June 2024
  
  Preprint Publication Project
- Wait-Free Weak Reference Counting
  
  Matthew J. Parkinson, Sylvan Clebsch, Ben Simner
  
  ACM SIGPLAN International Symposium on Memory Management | June 2023
  
  Publication DOI Project
- IA-CCF: Individual Accountability for Permissioned Ledgers
  
  Alex Shamis, Peter Pietzuch, Burcu Canakci, Miguel Castro, Cédric Fournet, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich
  
  19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22) | April 2022
  
  Publication Project
- 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, Andrew Jenks, Kevin Kane, Elissa M. Redmiles, Alex Shamis, Isha Sharma, Sam Wenker, Anika Zaman
  
  12th ACM Multimedia Systems Conference | July 2021
  
  Publication Publication Project
- Multi-Stakeholder Media Provenance Management to Counter Synthetic Media Risks in News Publishing
  
  J. Aythora, R. Burke‐Agüero, A. Chamayou, S. Clebsch, M. Costa, N. Earnshaw, L. Ellis, P. England, C. Fournet, M. Gaylor, C. Halford, E. Horvitz, A. Jenks, K. Kane, M. Lavallee, S. Lowenstein, B. MacCormack, H. S. Malvar, S. O'Brien, J. Parnall, E. M. Redmiles, A. Shamis, I. Sharma, J. W. Stokes, S. Wenker, A. Zaman
  
  International Broadcasting Convention (IBC) | September 2020
  
  Project
- Parma: Confidential Containers via Attested Execution Policies
  
  Matthew Johnson, Stavros Volos, Ken Gordon, Sean Allen, Sylvan Clebsch, John Starks, Manuel Costa
  
  March 2023
  
  arXiv | March 2023
  
  Preprint
- Toward Confidential Cloud Computing
  
  Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
  
  January 2021
  
  acmqueue magazine | January 2021
  
  Publication
- CCF: A Framework for Building Confidential Verifiable Replicated Services
  
  Mark Russinovich, Edward Ashton, Christine Avanessians, Miguel Castro, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Cédric Fournet, Matthew Kerner, Sid Krishna, Julien Maffre, Thomas Moscibroda, Kartik Nayak, Olga Ohrimenko, Felix Schuster, Roy Schuster, Alex Shamis, Olga Vrousgou, Christoph M. Wintersteiger
  
  MSR-TR-2019-16 | April 2019
  
  Published by Microsoft
  
  Publication Github Project

Sylvan Clebsch

Publications

Dynamically Checked Deep Immutability in Python

Dynamic Region Ownership for Concurrency Safety

Confidential Container Groups: Implementing Confidential Computing on Azure Container Instances

Reference Counting Deeply Immutable Data Structures with Cycles: an Intellectual Abstract

When Concurrency Matters: Behaviour-Oriented Concurrency

Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability

Reference Capabilities for Flexible Memory Management

Wait-Free Weak Reference Counting

Parma: Confidential Containers via Attested Execution Policies

IA-CCF: Individual Accountability for Permissioned Ledgers

AMP: Authentication of Media via Provenance

Toward Confidential Cloud Computing

Multi-Stakeholder Media Provenance Management to Counter Synthetic Media Risks in News Publishing

snmalloc: A message passing Allocator

CCF: A Framework for Building Confidential Verifiable Replicated Services

Dynamically Checked Deep Immutability in Python

Dynamic Region Ownership for Concurrency Safety

Reference Counting Deeply Immutable Data Structures with Cycles: an Intellectual Abstract

When Concurrency Matters: Behaviour-Oriented Concurrency

Reference Capabilities for Flexible Memory Management

Wait-Free Weak Reference Counting

Confidential Container Groups: Implementing Confidential Computing on Azure Container Instances

Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability

Parma: Confidential Containers via Attested Execution Policies

IA-CCF: Individual Accountability for Permissioned Ledgers

Toward Confidential Cloud Computing

Multi-Stakeholder Media Provenance Management to Counter Synthetic Media Risks in News Publishing

snmalloc: A message passing Allocator

CCF: A Framework for Building Confidential Verifiable Replicated Services

Confidential Container Groups: Implementing Confidential Computing on Azure Container Instances

Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability

AMP: Authentication of Media via Provenance

CCF: A Framework for Building Confidential Verifiable Replicated Services

Toward Confidential Cloud Computing

Dynamically Checked Deep Immutability in Python

Dynamic Region Ownership for Concurrency Safety

Confidential Container Groups: Implementing Confidential Computing on Azure Container Instances

When Concurrency Matters: Behaviour-Oriented Concurrency

Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability

Reference Capabilities for Flexible Memory Management

snmalloc: A message passing Allocator

Reference Counting Deeply Immutable Data Structures with Cycles: an Intellectual Abstract

Wait-Free Weak Reference Counting

IA-CCF: Individual Accountability for Permissioned Ledgers

AMP: Authentication of Media via Provenance

Multi-Stakeholder Media Provenance Management to Counter Synthetic Media Risks in News Publishing

Parma: Confidential Containers via Attested Execution Policies

Toward Confidential Cloud Computing

CCF: A Framework for Building Confidential Verifiable Replicated Services