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, 第 10 卷(PLDI): pp. 2623-2646
Sylvan Clebsch
Partner Research Software Development Engineer
论文与出版物
-
-
-
-
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, 第 9 卷(PLDI)
-
-
-
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, 第 67 卷(10): pp. 40-49
-
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
-
-
-
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, 第 7 卷(OOPSLA2)
-
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, 第 17 卷(2)
Nominee for Best Paper Award
-
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, 第 7 卷(OOPSLA2)
-
Wait-Free Weak Reference Counting
Matthew J. Parkinson, Sylvan Clebsch, Ben Simner
ACM SIGPLAN International Symposium on Memory Management | June 2023
-
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
-
-
-
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
-
-
-
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
-
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
-
-
-
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
-
-
-
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
-
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
作者：Microsoft
-
-
-
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, 第 10 卷(PLDI): pp. 2623-2646
-
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, 第 9 卷(PLDI)
-
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
-
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, 第 7 卷(OOPSLA2)
-
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, 第 7 卷(OOPSLA2)
-
Wait-Free Weak Reference Counting
Matthew J. Parkinson, Sylvan Clebsch, Ben Simner
ACM SIGPLAN International Symposium on Memory Management | June 2023
-
-
-
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, 第 67 卷(10): pp. 40-49
-
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, 第 17 卷(2)
Nominee for Best Paper Award
-
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
-
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
-
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
-
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
-
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
-
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
作者：Microsoft
-
-
-
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, 第 67 卷(10): pp. 40-49
-
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, 第 17 卷(2)
Nominee for Best Paper Award
-
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
-
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
作者：Microsoft
-
-
-
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
-
-
-
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, 第 10 卷(PLDI): pp. 2623-2646
-
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, 第 9 卷(PLDI)
-
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, 第 67 卷(10): pp. 40-49
-
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, 第 7 卷(OOPSLA2)
-
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, 第 17 卷(2)
Nominee for Best Paper Award
-
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, 第 7 卷(OOPSLA2)
-
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
-
-
-
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
-
Wait-Free Weak Reference Counting
Matthew J. Parkinson, Sylvan Clebsch, Ben Simner
ACM SIGPLAN International Symposium on Memory Management | June 2023
-
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
-
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
-
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
-
-
-
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
-
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
-
-
-
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
作者：Microsoft
-