Sylvan Clebsch

31 papers A* 1A 3B 1C 3Misc 1Journal 17Unranked 3

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Decoupling Isolation and Concurrency: An Actor-Centric View of Behaviour-Oriented Concurrency. Concurrent Programming, Open Systems and Formal Methods Luke Cheeseman, Elias Castegren, Sophia Drossopoulou, Tobias Wrigstad, Sylvan Clebsch, Matthew J. Parkinson
2025	J	`jnl`	Dynamic Region Ownership for Concurrency Safety. Proc. ACM Program. Lang. Fridtjof Peer Stoldt, Gary Brandt Bucher II, Sylvan Clebsch, Matthew A. Johnson, Matthew J. Parkinson, Guido van Rossum, Eric Snow, Tobias Wrigstad
2025	A*	`conf`	Transparent Attested DNS for Confidential Computing Services. USENIX Security Symposium Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Manuel Costa, Sylvan Clebsch, Christoph M. Wintersteiger
2025	J	`jnl`	Transparent Attested DNS for Confidential Computing Services. CoRR Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Manuel Costa, Sylvan Clebsch, Christoph M. Wintersteiger
2024	J	`jnl`	Confidential Container Groups. Commun. ACM Matthew A. Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Christoph M. Wintersteiger, Sylvan Clebsch, John Starks, Manuel Costa
2024	J	`jnl`	Confidential Container Groups: Implementing confidential computing on Azure container instances. ACM Queue Matthew A. Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Christoph M. Wintersteiger, Sylvan Clebsch, John Starks, Manuel Costa
2024	C	`conf`	Reference Counting Deeply Immutable Data Structures with Cycles: An Intellectual Abstract. ISMM Matthew J. Parkinson, Sylvan Clebsch, Tobias Wrigstad
2024	B	`conf`	Trieste: A C++ DSL for Flexible Tree Rewriting. SLE Sylvan Clebsch, Matilda Blomqvist, Elias Castegren, Matthew A. Johnson, Matthew J. Parkinson
2024	J	`jnl`	Why Should I Trust Your Code? Commun. ACM Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich
2023	J	`jnl`	COCOAEXPO: Confidential Containers via Attested Execution Policies. CoRR Matthew A. Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Christoph M. Wintersteiger, Sylvan Clebsch, John Starks, Manuel Costa
2023	J	`jnl`	Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability. CoRR 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, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
2023	J	`jnl`	Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability. Proc. VLDB Endow. 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, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
2023	J	`jnl`	Reference Capabilities for Flexible Memory Management. Proc. ACM Program. Lang. Ellen Arvidsson, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, James Noble, Matthew J. Parkinson, Tobias Wrigstad
2023	J	`jnl`	Reference Capabilities for Flexible Memory Management: Extended Version. CoRR Ellen Arvidsson, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, James Noble, Matthew J. Parkinson, Tobias Wrigstad
2023	C	`conf`	Wait-Free Weak Reference Counting. ISMM Matthew J. Parkinson, Sylvan Clebsch, Ben Simner
2023	J	`jnl`	When Concurrency Matters: Behaviour-Oriented Concurrency. Proc. ACM Program. Lang. Luke Cheeseman, Matthew J. Parkinson, Sylvan Clebsch, Marios Kogias, Sophia Drossopoulou, David Chisnall, Tobias Wrigstad, Paul Liétar
2023	J	`jnl`	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. ACM Queue Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich
2022	Misc	`conf`	IA-CCF: Individual Accountability for Permissioned Ledgers. NSDI Alex Shamis, Peter R. Pietzuch, Burcu Canakci, Miguel Castro, Cédric Fournet, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich
2021	A	`conf`	AMP: authentication of media via provenance. MMSys 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, John C. Simmons, Sam Wenker, Anika Zaman
2021	J	`jnl`	PAC: Practical Accountability for CCF. CoRR Alex Shamis, Peter R. Pietzuch, Miguel Castro, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Cédric Fournet, Matthew Kerner, Julien Maffre, Manuel Costa, Mark Russinovich
2021	J	`jnl`	Toward Confidential Cloud Computing: Extending hardware-enforced cryptographic protection to data while in use. ACM Queue Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
2021	J	`jnl`	Toward confidential cloud computing. Commun. ACM Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
2020	J	`jnl`	AMP: Authentication of Media via Provenance. CoRR 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
2019	C	`conf`	snmalloc: a message passing allocator. ISMM Paul Liétar, Theodore Butler, Sylvan Clebsch, Sophia Drossopoulou, Juliana Franco, Matthew J. Parkinson, Alex Shamis, Christoph M. Wintersteiger, David Chisnall
2018	A	`conf`	Correctness of a Concurrent Object Collector for Actor Languages. ESOP Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad
2017	—	`—`	'Pony': co-designing a type system and a runtime. Sylvan Clebsch
2017	J	`jnl`	Orca: GC and type system co-design for actor languages. Proc. ACM Program. Lang. Sylvan Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, Jan Vitek
2017	—	`conf`	Tree topologies for causal message delivery. AGERE!@SPLASH Sebastian Blessing, Sylvan Clebsch, Sophia Drossopoulou
2016	—	`ed.`	Proceedings of the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE 2016, Amsterdam, The Netherlands, October 30, 2016 AGERE!@SPLASH Sylvan Clebsch, Travis Desell, Philipp Haller, Alessandro Ricci
2015	—	`conf`	Deny capabilities for safe, fast actors. AGERE!@SPLASH Sylvan Clebsch, Sophia Drossopoulou, Sebastian Blessing, Andy McNeil
2013	A	`conf`	Fully concurrent garbage collection of actors on many-core machines. OOPSLA Sylvan Clebsch, Sophia Drossopoulou