Principled Design of Indexing Functions for Memory Coloring
Stephan Dübler, Jana Hofmann, Boris Köpf, Stavros Volos
35th USENIX Security Symposium | August 2026
Publications
-
-
-
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
-
Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks
Oleksii Oleksenko, Flavien Solt, Cédric Fournet, Jana Hofmann, Boris Köpf, Stavros Volos
IEEE Symposium on Security and Privacy | May 2026
Distinguished Paper Award
Accepted at IEEE SP 2025, publication delayed due to embargo.
-
Optimizing Agent Planning for Security and Autonomy
Aashish Kolluri, Rishi Sharma, Manuel Costa, Boris Köpf, Tobias Niessen, Mark Russinovich, Shruti Tople, Santiago Zanella-Béguelin
ICLR 2026 | February 2026
-
-
-
Permissive Information-Flow Analysis for Large Language Models
Shoaib Ahmed Siddiqui, Radhika Gaonkar, Boris Köpf, David Krueger, Andrew Paverd, Ahmed Salem, Shruti Tople, Lukas Wutschitz, Menglin Xia, Santiago Zanella-Béguelin
Transactions on Machine Learning Research (TMLR) | October 2025
-
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)
-
DORADD: Deterministic Parallel Execution in the Era of Microsecond-Scale Computing
Zhengqing Liu, Musa Unal, Matthew J. Parkinson, Marios Kogias
PPoPP ’25 | March 2025
-
AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures
Bo Fu, Leo Tenenbaum, David Adler, Assaf Klein, Arpit Gogia, Alaa R. Alameldeen, Marco Guarnieri, M. Silberstein, Oleksii Oleksenko, Gururaj Saileshwar
30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems | February 2025
-
-
-
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
-
Gaussian Elimination of Side-channels: Linear Algebra for Memory Coloring
Jana Hofmann, Cédric Fournet, Boris Köpf, Stavros Volos
ACM Conference on Computer and Communications Security (CCS) | October 2024
-
Principled Microarchitectural Isolation on Cloud CPUs
Stavros Volos, Cédric Fournet, Jana Hofmann, Boris Köpf, Oleksii Oleksenko
ACM Conference on Computer and Communications Security (CCS) | October 2024
CCS Distinguished Paper Award
-
Closed-Form Bounds for DP-SGD against Record-level Inference
Giovanni Cherubin, Boris Köpf, Andrew Paverd, Shruti Tople, Lukas Wutschitz, Santiago Zanella-Béguelin
USENIX Security Symposium | August 2024
-
FairyWREN: A Sustainable Cache for Emerging Write-Read-Erase Flash Interfaces
Sara McAllister, Sherry Wang, Benjamin Berg, Daniel S. Berger, George Amvrosiadis, Nathan Beckmann, G. R. Ganger
USENIX OSDI 2024 | July 2024
-
Managing Memory Tiers with CXL in Virtualized Environments
Yuhong Zhong, Daniel S. Berger, Carl Waldspurger, Ishwar Agarwal, Rajat Agarwal, Frank Hady, Karthik Kumar, Mark D. Hill, Mosharaf Chowdhury, Asaf Cidon
USENIX OSDI | July 2024
-
BatchIt: Optimizing Message-Passing Allocators for Producer-Consumer Workloads: An Intellectual Abstract
Nathaniel Filardo, Matthew J. Parkinson
Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management (ISMM’24) | June 2024
-
Concurrent Immediate Reference Counting
Jaehwang Jung, Jeonghyeon Kim, Matthew J. Parkinson, Jeehoon Kang
PACM PL | June 2024
-
Designing Cloud Servers for Lower Carbon
Jaylen Wang, Daniel S. Berger, Fiodar Kazhamiaka, Celine Irvene, Chaojie Zhang, Esha Choukse, Kali Frost, Rodrigo Fonseca, Brijesh Warrier, Chetan Bansal, Jonathan Stern, Ricardo Bianchini, Akshitha Sriraman
ISCA | June 2024
-
SmartOClock: Workload- and Risk-Aware Overclocking in the Cloud
Jovan Stojkovic, Pulkit Misra, Íñigo Goiri, Sam Whitlock, Esha Choukse, Mayukh Das, Chetan Bansal, Jason Lee, Zoey Sun, Haoran Qiu, Reed Zimmermann, Savyasachi Samal, Brijesh Warrier, Ashish Raniwala, Ricardo Bianchini
ISCA | June 2024
-
Bigger, not Badder: Safely Scaling BFT Protocols
David C. Y. Chu, Chris Liu, Natacha Crooks, Joseph M. Hellerstein, Heidi Howard
Principles and Practice of Consistency for Distributed Data (PaPoC’24) | April 2024
-
Unanimous 2PC: Fault-tolerant Distributed Transactions Can be Fast and Simple
Chris Jensen, Heidi Howard, Antonios Katsarakis, Richard Mortier
Principles and Practice of Consistency for Distributed Data (PaPoC’24) | April 2024
-
-
-
On the Efficacy of Differentially Private Few-shot Image Classification
Marlon Tobaben, Aliaksandra Shysheya, John Bronskill, Andrew Paverd, Shruti Tople, Santiago Zanella-Béguelin, Richard Turner, Antti Honkela
Transactions on Machine Learning Research | December 2023, Vol 2023
-
CHERIoT: Complete Memory Safety for Embedded Devices
Saar Amar, David Chisnall, Tony Chen, Nathaniel Filardo, Ben Laurie, Kunyan Liu, Robert Norton-Wright, Simon W. Moore, Yucong Tao, Robert N. M. Watson, Hongyan Xia
2023 56th IEEE/ACM International Symposium on Microarchitecture (MICRO) | October 2023, pp. 641-653
-
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)
-
Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions
Jana Hofmann, Emanuele Vannacci, Cédric Fournet, Boris Köpf, Oleksii Oleksenko
Usenix Security Symposium | August 2023
-
An Introduction to the Compute Express Link (CXL) Interconnect
Debendra Das Sharma, R. Blankenship, Daniel S. Berger
June 2023
arXiv | June 2023
-
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing
Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein
IEEE Symposium on Security and Privacy (S&P) | May 2023
-
-
-
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
-
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)
-
DORADD: Deterministic Parallel Execution in the Era of Microsecond-Scale Computing
Zhengqing Liu, Musa Unal, Matthew J. Parkinson, Marios Kogias
PPoPP ’25 | March 2025
-
BatchIt: Optimizing Message-Passing Allocators for Producer-Consumer Workloads: An Intellectual Abstract
Nathaniel Filardo, Matthew J. Parkinson
Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management (ISMM’24) | June 2024
-
Concurrent Immediate Reference Counting
Jaehwang Jung, Jeonghyeon Kim, Matthew J. Parkinson, Jeehoon Kang
PACM PL | 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, Vol 7(OOPSLA2)
-
Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions
Jana Hofmann, Emanuele Vannacci, Cédric Fournet, Boris Köpf, Oleksii Oleksenko
Usenix Security Symposium | August 2023
-
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing
Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein
IEEE Symposium on Security and Privacy (S&P) | May 2023
-
-
-
Principled Design of Indexing Functions for Memory Coloring
Stephan Dübler, Jana Hofmann, Boris Köpf, Stavros Volos
35th USENIX Security Symposium | August 2026
-
Principled Microarchitectural Isolation on Cloud CPUs
Stavros Volos, Cédric Fournet, Jana Hofmann, Boris Köpf, Oleksii Oleksenko
ACM Conference on Computer and Communications Security (CCS) | October 2024
CCS Distinguished Paper Award
-
CHERIoT: Complete Memory Safety for Embedded Devices
Saar Amar, David Chisnall, Tony Chen, Nathaniel Filardo, Ben Laurie, Kunyan Liu, Robert Norton-Wright, Simon W. Moore, Yucong Tao, Robert N. M. Watson, Hongyan Xia
2023 56th IEEE/ACM International Symposium on Microarchitecture (MICRO) | October 2023, pp. 641-653
-
-
-
Principled Design of Indexing Functions for Memory Coloring
Stephan Dübler, Jana Hofmann, Boris Köpf, Stavros Volos
35th USENIX Security Symposium | August 2026
-
Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks
Oleksii Oleksenko, Flavien Solt, Cédric Fournet, Jana Hofmann, Boris Köpf, Stavros Volos
IEEE Symposium on Security and Privacy | May 2026
Distinguished Paper Award
Accepted at IEEE SP 2025, publication delayed due to embargo.
-
Permissive Information-Flow Analysis for Large Language Models
Shoaib Ahmed Siddiqui, Radhika Gaonkar, Boris Köpf, David Krueger, Andrew Paverd, Ahmed Salem, Shruti Tople, Lukas Wutschitz, Menglin Xia, Santiago Zanella-Béguelin
Transactions on Machine Learning Research (TMLR) | October 2025
-
AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures
Bo Fu, Leo Tenenbaum, David Adler, Assaf Klein, Arpit Gogia, Alaa R. Alameldeen, Marco Guarnieri, M. Silberstein, Oleksii Oleksenko, Gururaj Saileshwar
30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems | February 2025
-
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
-
Principled Microarchitectural Isolation on Cloud CPUs
Stavros Volos, Cédric Fournet, Jana Hofmann, Boris Köpf, Oleksii Oleksenko
ACM Conference on Computer and Communications Security (CCS) | October 2024
CCS Distinguished Paper Award
-
Gaussian Elimination of Side-channels: Linear Algebra for Memory Coloring
Jana Hofmann, Cédric Fournet, Boris Köpf, Stavros Volos
ACM Conference on Computer and Communications Security (CCS) | October 2024
-
Closed-Form Bounds for DP-SGD against Record-level Inference
Giovanni Cherubin, Boris Köpf, Andrew Paverd, Shruti Tople, Lukas Wutschitz, Santiago Zanella-Béguelin
USENIX Security Symposium | August 2024
-
Bigger, not Badder: Safely Scaling BFT Protocols
David C. Y. Chu, Chris Liu, Natacha Crooks, Joseph M. Hellerstein, Heidi Howard
Principles and Practice of Consistency for Distributed Data (PaPoC’24) | April 2024
-
On the Efficacy of Differentially Private Few-shot Image Classification
Marlon Tobaben, Aliaksandra Shysheya, John Bronskill, Andrew Paverd, Shruti Tople, Santiago Zanella-Béguelin, Richard Turner, Antti Honkela
Transactions on Machine Learning Research | December 2023, Vol 2023
-
CHERIoT: Complete Memory Safety for Embedded Devices
Saar Amar, David Chisnall, Tony Chen, Nathaniel Filardo, Ben Laurie, Kunyan Liu, Robert Norton-Wright, Simon W. Moore, Yucong Tao, Robert N. M. Watson, Hongyan Xia
2023 56th IEEE/ACM International Symposium on Microarchitecture (MICRO) | October 2023, pp. 641-653
-
Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions
Jana Hofmann, Emanuele Vannacci, Cédric Fournet, Boris Köpf, Oleksii Oleksenko
Usenix Security Symposium | August 2023
-
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing
Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein
IEEE Symposium on Security and Privacy (S&P) | May 2023
-
-
-
Optimizing Agent Planning for Security and Autonomy
Aashish Kolluri, Rishi Sharma, Manuel Costa, Boris Köpf, Tobias Niessen, Mark Russinovich, Shruti Tople, Santiago Zanella-Béguelin
ICLR 2026 | February 2026
-
Permissive Information-Flow Analysis for Large Language Models
Shoaib Ahmed Siddiqui, Radhika Gaonkar, Boris Köpf, David Krueger, Andrew Paverd, Ahmed Salem, Shruti Tople, Lukas Wutschitz, Menglin Xia, Santiago Zanella-Béguelin
Transactions on Machine Learning Research (TMLR) | October 2025
-
Closed-Form Bounds for DP-SGD against Record-level Inference
Giovanni Cherubin, Boris Köpf, Andrew Paverd, Shruti Tople, Lukas Wutschitz, Santiago Zanella-Béguelin
USENIX Security Symposium | August 2024
-
On the Efficacy of Differentially Private Few-shot Image Classification
Marlon Tobaben, Aliaksandra Shysheya, John Bronskill, Andrew Paverd, Shruti Tople, Santiago Zanella-Béguelin, Richard Turner, Antti Honkela
Transactions on Machine Learning Research | December 2023, Vol 2023
-
-
-
DORADD: Deterministic Parallel Execution in the Era of Microsecond-Scale Computing
Zhengqing Liu, Musa Unal, Matthew J. Parkinson, Marios Kogias
PPoPP ’25 | March 2025
-
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
-
Principled Microarchitectural Isolation on Cloud CPUs
Stavros Volos, Cédric Fournet, Jana Hofmann, Boris Köpf, Oleksii Oleksenko
ACM Conference on Computer and Communications Security (CCS) | October 2024
CCS Distinguished Paper Award
-
FairyWREN: A Sustainable Cache for Emerging Write-Read-Erase Flash Interfaces
Sara McAllister, Sherry Wang, Benjamin Berg, Daniel S. Berger, George Amvrosiadis, Nathan Beckmann, G. R. Ganger
USENIX OSDI 2024 | July 2024
-
Managing Memory Tiers with CXL in Virtualized Environments
Yuhong Zhong, Daniel S. Berger, Carl Waldspurger, Ishwar Agarwal, Rajat Agarwal, Frank Hady, Karthik Kumar, Mark D. Hill, Mosharaf Chowdhury, Asaf Cidon
USENIX OSDI | July 2024
-
Concurrent Immediate Reference Counting
Jaehwang Jung, Jeonghyeon Kim, Matthew J. Parkinson, Jeehoon Kang
PACM PL | June 2024
-
Designing Cloud Servers for Lower Carbon
Jaylen Wang, Daniel S. Berger, Fiodar Kazhamiaka, Celine Irvene, Chaojie Zhang, Esha Choukse, Kali Frost, Rodrigo Fonseca, Brijesh Warrier, Chetan Bansal, Jonathan Stern, Ricardo Bianchini, Akshitha Sriraman
ISCA | June 2024
-
SmartOClock: Workload- and Risk-Aware Overclocking in the Cloud
Jovan Stojkovic, Pulkit Misra, Íñigo Goiri, Sam Whitlock, Esha Choukse, Mayukh Das, Chetan Bansal, Jason Lee, Zoey Sun, Haoran Qiu, Reed Zimmermann, Savyasachi Samal, Brijesh Warrier, Ashish Raniwala, Ricardo Bianchini
ISCA | June 2024
-
Unanimous 2PC: Fault-tolerant Distributed Transactions Can be Fast and Simple
Chris Jensen, Heidi Howard, Antonios Katsarakis, Richard Mortier
Principles and Practice of Consistency for Distributed Data (PaPoC’24) | April 2024
-
Bigger, not Badder: Safely Scaling BFT Protocols
David C. Y. Chu, Chris Liu, Natacha Crooks, Joseph M. Hellerstein, Heidi Howard
Principles and Practice of Consistency for Distributed Data (PaPoC’24) | April 2024
-
An Introduction to the Compute Express Link (CXL) Interconnect
Debendra Das Sharma, R. Blankenship, Daniel S. Berger
June 2023
arXiv | June 2023
-
-
-
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
-
Permissive Information-Flow Analysis for Large Language Models
Shoaib Ahmed Siddiqui, Radhika Gaonkar, Boris Köpf, David Krueger, Andrew Paverd, Ahmed Salem, Shruti Tople, Lukas Wutschitz, Menglin Xia, Santiago Zanella-Béguelin
Transactions on Machine Learning Research (TMLR) | October 2025
-
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)
-
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
-
Concurrent Immediate Reference Counting
Jaehwang Jung, Jeonghyeon Kim, Matthew J. Parkinson, Jeehoon Kang
PACM PL | June 2024
-
On the Efficacy of Differentially Private Few-shot Image Classification
Marlon Tobaben, Aliaksandra Shysheya, John Bronskill, Andrew Paverd, Shruti Tople, Santiago Zanella-Béguelin, Richard Turner, Antti Honkela
Transactions on Machine Learning Research | December 2023, Vol 2023
-
CHERIoT: Complete Memory Safety for Embedded Devices
Saar Amar, David Chisnall, Tony Chen, Nathaniel Filardo, Ben Laurie, Kunyan Liu, Robert Norton-Wright, Simon W. Moore, Yucong Tao, Robert N. M. Watson, Hongyan Xia
2023 56th IEEE/ACM International Symposium on Microarchitecture (MICRO) | October 2023, pp. 641-653
-
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)
-
-
-
Principled Design of Indexing Functions for Memory Coloring
Stephan Dübler, Jana Hofmann, Boris Köpf, Stavros Volos
35th USENIX Security Symposium | August 2026
-
Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks
Oleksii Oleksenko, Flavien Solt, Cédric Fournet, Jana Hofmann, Boris Köpf, Stavros Volos
IEEE Symposium on Security and Privacy | May 2026
Distinguished Paper Award
Accepted at IEEE SP 2025, publication delayed due to embargo.
-
Optimizing Agent Planning for Security and Autonomy
Aashish Kolluri, Rishi Sharma, Manuel Costa, Boris Köpf, Tobias Niessen, Mark Russinovich, Shruti Tople, Santiago Zanella-Béguelin
ICLR 2026 | February 2026
-
DORADD: Deterministic Parallel Execution in the Era of Microsecond-Scale Computing
Zhengqing Liu, Musa Unal, Matthew J. Parkinson, Marios Kogias
PPoPP ’25 | March 2025
-
AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures
Bo Fu, Leo Tenenbaum, David Adler, Assaf Klein, Arpit Gogia, Alaa R. Alameldeen, Marco Guarnieri, M. Silberstein, Oleksii Oleksenko, Gururaj Saileshwar
30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems | February 2025
-
Principled Microarchitectural Isolation on Cloud CPUs
Stavros Volos, Cédric Fournet, Jana Hofmann, Boris Köpf, Oleksii Oleksenko
ACM Conference on Computer and Communications Security (CCS) | October 2024
CCS Distinguished Paper Award
-
Gaussian Elimination of Side-channels: Linear Algebra for Memory Coloring
Jana Hofmann, Cédric Fournet, Boris Köpf, Stavros Volos
ACM Conference on Computer and Communications Security (CCS) | October 2024
-
Closed-Form Bounds for DP-SGD against Record-level Inference
Giovanni Cherubin, Boris Köpf, Andrew Paverd, Shruti Tople, Lukas Wutschitz, Santiago Zanella-Béguelin
USENIX Security Symposium | August 2024
-
FairyWREN: A Sustainable Cache for Emerging Write-Read-Erase Flash Interfaces
Sara McAllister, Sherry Wang, Benjamin Berg, Daniel S. Berger, George Amvrosiadis, Nathan Beckmann, G. R. Ganger
USENIX OSDI 2024 | July 2024
-
Managing Memory Tiers with CXL in Virtualized Environments
Yuhong Zhong, Daniel S. Berger, Carl Waldspurger, Ishwar Agarwal, Rajat Agarwal, Frank Hady, Karthik Kumar, Mark D. Hill, Mosharaf Chowdhury, Asaf Cidon
USENIX OSDI | July 2024
-
BatchIt: Optimizing Message-Passing Allocators for Producer-Consumer Workloads: An Intellectual Abstract
Nathaniel Filardo, Matthew J. Parkinson
Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management (ISMM’24) | June 2024
-
Designing Cloud Servers for Lower Carbon
Jaylen Wang, Daniel S. Berger, Fiodar Kazhamiaka, Celine Irvene, Chaojie Zhang, Esha Choukse, Kali Frost, Rodrigo Fonseca, Brijesh Warrier, Chetan Bansal, Jonathan Stern, Ricardo Bianchini, Akshitha Sriraman
ISCA | June 2024
-
SmartOClock: Workload- and Risk-Aware Overclocking in the Cloud
Jovan Stojkovic, Pulkit Misra, Íñigo Goiri, Sam Whitlock, Esha Choukse, Mayukh Das, Chetan Bansal, Jason Lee, Zoey Sun, Haoran Qiu, Reed Zimmermann, Savyasachi Samal, Brijesh Warrier, Ashish Raniwala, Ricardo Bianchini
ISCA | June 2024
-
Unanimous 2PC: Fault-tolerant Distributed Transactions Can be Fast and Simple
Chris Jensen, Heidi Howard, Antonios Katsarakis, Richard Mortier
Principles and Practice of Consistency for Distributed Data (PaPoC’24) | April 2024
-
Bigger, not Badder: Safely Scaling BFT Protocols
David C. Y. Chu, Chris Liu, Natacha Crooks, Joseph M. Hellerstein, Heidi Howard
Principles and Practice of Consistency for Distributed Data (PaPoC’24) | April 2024
-
Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions
Jana Hofmann, Emanuele Vannacci, Cédric Fournet, Boris Köpf, Oleksii Oleksenko
Usenix Security Symposium | August 2023
-
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing
Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein
IEEE Symposium on Security and Privacy (S&P) | May 2023
-
-
-
An Introduction to the Compute Express Link (CXL) Interconnect
Debendra Das Sharma, R. Blankenship, Daniel S. Berger
June 2023
arXiv | June 2023
-