Research
Shubham Mishra, João Gonçalves, Chawinphat Tankuranand, Neil Giridharan, Natacha Crooks, Heidi Howard, Chris Jensen
2026 Symposium on Operating Systems Principles | September 2026
Stephan Dübler, Jana Hofmann, Boris Köpf, Stavros Volos
35th USENIX Security Symposium | August 2026
Distinguished Artifact Award
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
David C. Y. Chu, Aditya Balasubramanian, Dee Bao, Natacha Crooks, Heidi Howard, Lucky E. Katahanas, Soujanya Ponnapalli
International Conference on Management of Data | May 2026
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.
Aashish Kolluri, Rishi Sharma, Manuel Costa, Boris Köpf, Tobias Niessen, Mark Russinovich, Shruti Tople, Santiago Zanella-Béguelin
ICLR 2026 | February 2026
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
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)
Zhengqing Liu, Musa Unal, Matthew J. Parkinson, Marios Kogias
PPoPP ’25 | March 2025
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
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
Jana Hofmann, Cédric Fournet, Boris Köpf, Stavros Volos
ACM Conference on Computer and Communications Security (CCS) | October 2024
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
Giovanni Cherubin, Boris Köpf, Andrew Paverd, Shruti Tople, Lukas Wutschitz, Santiago Zanella-Béguelin
USENIX Security Symposium | August 2024
Sara McAllister, Sherry Wang, Benjamin Berg, Daniel S. Berger, George Amvrosiadis, Nathan Beckmann, G. R. Ganger
USENIX OSDI 2024 | July 2024
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
Nathaniel Filardo, Matthew J. Parkinson
Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management (ISMM’24) | June 2024
Jaehwang Jung, Jeonghyeon Kim, Matthew J. Parkinson, Jeehoon Kang
PACM PL | June 2024
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
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
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
Chris Jensen, Heidi Howard, Antonios Katsarakis, Richard Mortier
Principles and Practice of Consistency for Distributed Data (PaPoC’24) | April 2024
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
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
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)
Jana Hofmann, Emanuele Vannacci, Cédric Fournet, Boris Köpf, Oleksii Oleksenko
Usenix Security Symposium | August 2023
Debendra Das Sharma, R. Blankenship, Daniel S. Berger
June 2023
arXiv | June 2023
Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein
IEEE Symposium on Security and Privacy (S&P) | May 2023
Shubham Mishra, João Gonçalves, Chawinphat Tankuranand, Neil Giridharan, Natacha Crooks, Heidi Howard, Chris Jensen
2026 Symposium on Operating Systems Principles | September 2026
Stephan Dübler, Jana Hofmann, Boris Köpf, Stavros Volos
35th USENIX Security Symposium | August 2026
Distinguished Artifact Award
David C. Y. Chu, Aditya Balasubramanian, Dee Bao, Natacha Crooks, Heidi Howard, Lucky E. Katahanas, Soujanya Ponnapalli
International Conference on Management of Data | May 2026
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.
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
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
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
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
Jana Hofmann, Cédric Fournet, Boris Köpf, Stavros Volos
ACM Conference on Computer and Communications Security (CCS) | October 2024
Giovanni Cherubin, Boris Köpf, Andrew Paverd, Shruti Tople, Lukas Wutschitz, Santiago Zanella-Béguelin
USENIX Security Symposium | August 2024
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
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
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
Jana Hofmann, Emanuele Vannacci, Cédric Fournet, Boris Köpf, Oleksii Oleksenko
Usenix Security Symposium | August 2023
Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein
IEEE Symposium on Security and Privacy (S&P) | May 2023
Shubham Mishra, João Gonçalves, Chawinphat Tankuranand, Neil Giridharan, Natacha Crooks, Heidi Howard, Chris Jensen
2026 Symposium on Operating Systems Principles | September 2026
David C. Y. Chu, Aditya Balasubramanian, Dee Bao, Natacha Crooks, Heidi Howard, Lucky E. Katahanas, Soujanya Ponnapalli
International Conference on Management of Data | May 2026
Zhengqing Liu, Musa Unal, Matthew J. Parkinson, Marios Kogias
PPoPP ’25 | March 2025
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
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
Sara McAllister, Sherry Wang, Benjamin Berg, Daniel S. Berger, George Amvrosiadis, Nathan Beckmann, G. R. Ganger
USENIX OSDI 2024 | July 2024
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
Jaehwang Jung, Jeonghyeon Kim, Matthew J. Parkinson, Jeehoon Kang
PACM PL | June 2024
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
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
Chris Jensen, Heidi Howard, Antonios Katsarakis, Richard Mortier
Principles and Practice of Consistency for Distributed Data (PaPoC’24) | April 2024
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
Debendra Das Sharma, R. Blankenship, Daniel S. Berger
June 2023
arXiv | June 2023
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
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)
Zhengqing Liu, Musa Unal, Matthew J. Parkinson, Marios Kogias
PPoPP ’25 | March 2025
Nathaniel Filardo, Matthew J. Parkinson
Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management (ISMM’24) | June 2024
Jaehwang Jung, Jeonghyeon Kim, Matthew J. Parkinson, Jeehoon Kang
PACM PL | June 2024
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)
Jana Hofmann, Emanuele Vannacci, Cédric Fournet, Boris Köpf, Oleksii Oleksenko
Usenix Security Symposium | August 2023
Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein
IEEE Symposium on Security and Privacy (S&P) | May 2023
Stephan Dübler, Jana Hofmann, Boris Köpf, Stavros Volos
35th USENIX Security Symposium | August 2026
Distinguished Artifact Award
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
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
Aashish Kolluri, Rishi Sharma, Manuel Costa, Boris Köpf, Tobias Niessen, Mark Russinovich, Shruti Tople, Santiago Zanella-Béguelin
ICLR 2026 | February 2026
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
Giovanni Cherubin, Boris Köpf, Andrew Paverd, Shruti Tople, Lukas Wutschitz, Santiago Zanella-Béguelin
USENIX Security Symposium | August 2024
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
Shubham Mishra, João Gonçalves, Chawinphat Tankuranand, Neil Giridharan, Natacha Crooks, Heidi Howard, Chris Jensen
2026 Symposium on Operating Systems Principles | September 2026
Stephan Dübler, Jana Hofmann, Boris Köpf, Stavros Volos
35th USENIX Security Symposium | August 2026
Distinguished Artifact Award
David C. Y. Chu, Aditya Balasubramanian, Dee Bao, Natacha Crooks, Heidi Howard, Lucky E. Katahanas, Soujanya Ponnapalli
International Conference on Management of Data | May 2026
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.
Aashish Kolluri, Rishi Sharma, Manuel Costa, Boris Köpf, Tobias Niessen, Mark Russinovich, Shruti Tople, Santiago Zanella-Béguelin
ICLR 2026 | February 2026
Zhengqing Liu, Musa Unal, Matthew J. Parkinson, Marios Kogias
PPoPP ’25 | March 2025
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
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
Jana Hofmann, Cédric Fournet, Boris Köpf, Stavros Volos
ACM Conference on Computer and Communications Security (CCS) | October 2024
Giovanni Cherubin, Boris Köpf, Andrew Paverd, Shruti Tople, Lukas Wutschitz, Santiago Zanella-Béguelin
USENIX Security Symposium | August 2024
Sara McAllister, Sherry Wang, Benjamin Berg, Daniel S. Berger, George Amvrosiadis, Nathan Beckmann, G. R. Ganger
USENIX OSDI 2024 | July 2024
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
Nathaniel Filardo, Matthew J. Parkinson
Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management (ISMM’24) | June 2024
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
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
Chris Jensen, Heidi Howard, Antonios Katsarakis, Richard Mortier
Principles and Practice of Consistency for Distributed Data (PaPoC’24) | April 2024
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
Jana Hofmann, Emanuele Vannacci, Cédric Fournet, Boris Köpf, Oleksii Oleksenko
Usenix Security Symposium | August 2023
Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein
IEEE Symposium on Security and Privacy (S&P) | May 2023
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
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
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)
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
Jaehwang Jung, Jeonghyeon Kim, Matthew J. Parkinson, Jeehoon Kang
PACM PL | June 2024
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
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
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)
Debendra Das Sharma, R. Blankenship, Daniel S. Berger
June 2023
arXiv | June 2023