Orca: GC and type system co-design for actor languages
Clebsch, Sylvan, Franco, Juliana, Drossopoulou, Sophia, Yang, Albert Mingkun, Wrigstad, Tobias, Vitek, Jan
Published in Proceedings of ACM on programming languages (01.10.2017)
Published in Proceedings of ACM on programming languages (01.10.2017)
Get full text
Journal Article
Correctness of a concurrent object collector for actor languages
Franco, Juliana, Clebsch, Sylvan, Drossopoulou, Sophia, Vitek, Jan, Wrigstad, Tobias
Published in UPMARC (2018)
Published in UPMARC (2018)
Get full text
Conference Proceeding
Reference Capabilities for Flexible Memory Management: Extended Version
Arvidsson, Ellen, Castegren, Elias, Clebsch, Sylvan, Drossopoulou, Sophia, Noble, James, Parkinson, Matthew J, Wrigstad, Tobias
Published in arXiv.org (06.09.2023)
Published in arXiv.org (06.09.2023)
Get full text
Paper
Journal Article
Parma: Confidential Containers via Attested Execution Policies
Johnson, Matthew A, Volos, Stavros, Gordon, Ken, Allen, Sean T, Wintersteiger, Christoph M, Clebsch, Sylvan, Starks, John, Costa, Manuel
Year of Publication 08.02.2023
Year of Publication 08.02.2023
Get full text
Journal Article
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
Howard, Heidi, Alder, Fritz, Ashton, Edward, Chamayou, Amaury, Clebsch, Sylvan, Costa, Manuel, Delignat-Lavaud, Antoine, Fournet, Cedric, Jeffery, Andrew, Kerner, Matthew, Kounelis, Fotios, Kuppe, Markus A, Maffre, Julien, Russinovich, Mark, Wintersteiger, Christoph M
Year of Publication 17.10.2023
Year of Publication 17.10.2023
Get full text
Journal Article
Memory deallocation across a trust boundary
Schuster, Roy, Chisnall, David Thomas, Clebsch, Sylvan Wesley, Parkinson, Matthew John
Year of Publication 24.09.2024
Get full text
Year of Publication 24.09.2024
Patent
System for confidential computing with capabilities
Clebsch, Sylvan W, Fournet, Cédric Alain Marie Christophe, Chisnall, David T
Year of Publication 13.08.2024
Get full text
Year of Publication 13.08.2024
Patent
Secure computing mechanism
Costa, Manuel, Allen, Sean, Nino Diaz, Antonio, Starks, John, Volos, Stavros, Clebsch, Sylvan, Gordon, Kenneth
Year of Publication 06.08.2024
Get full text
Year of Publication 06.08.2024
Patent
CONFIDENTIAL COMPUTING MECHANISM
CHISNALL, David T, FOURNET, Cédric Alain Marie Christophe, CLEBSCH, Sylvan W
Year of Publication 19.06.2024
Get full text
Year of Publication 19.06.2024
Patent