Publications by Bryan Parno

2025 • Proceedings of the 19th Usenix Symposium on Operating Systems Design and Implementation Osdi 2025 • 1-17
Zhang TN, Singh K, Chajed T, Kapritsos M, Parno B

2025 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 15943:75-94
Zhou Y, Shah A, Lin Z, Heule M, Parno B

2025 • CEUR Workshop Proceedings • 4008:148-152
Shah A, Zhou Y, Heule M, Parno B

2025 • Proceedings of the ACM on Programming Languages • 9(OOPSLA2):4064-4090
McLoughlin M, Sheng A, Fallin C, Parno B, Brown F, VanHattum A

2024 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 14681:348-361
Cho C, Zhou Y, Bosamiya J, Parno B

2024
Zhou Y, Bosamiya J, Li J, Heule M, Parno B

2024 • Proceedings of the ACM on Programming Languages • 8(OOPSLA):
Lin Z, Gancher J, Parno B

2024 • PROCEEDINGS OF THE 18TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, OSDI 2024 • 837-853
Zhang TN, Hance T, Kapritsos M, Chajed T, Parno B

2024 • PROCEEDINGS OF THE 2024 ACM SIGOPS 30TH SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES, SOSP 2024 • 438-454
Lattuada A, Hance T, Bosamiya J, Brun M, Cho C, LeBlanc H, Srinivasan P, Achermann R, Chajed T, Hawblitzel C, Howell J, Lorch JR, Padon O, Parno B

2023 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 14084:669-701
Kothapalli A, Parno B

2023 30-46
Arasu A, Ramananandro T, Rastogi A, Swamy N, Fromherz A, Hietala K, Parno B, Ramamurthy R

2023 • PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023 • 2113-2127
Zhou Y, Gibson S, Cai S, Winchell M, Parno B

2023 • Proceedings of the ACM on Programming Languages • 7(OOPSLA):
Hance T, Howell J, Padon O, Parno B

2023
Hance T, Howell J, Padon O, Parno B

2023 • 2023 FORMAL METHODS IN COMPUTER-AIDED DESIGN, FMCAD • 178-188
Zhou Y, Bosamiya J, Takashima Y, Li J, Heule M, Parno B

2023 • Proceedings of the ACM on Programming Languages • 7(POPL):
Michael AE, Gollamudi A, Bosamiya J, Johnson E, Denlinger A, Disselkoen C, Watt C, Parno B, Patrignani M, Vassena M, Stefan D

2023 • PROCEEDINGS OF THE 22ND ACM WORKSHOP ON HOT TOPICS IN NETWORKS, HOTNETS 2023 • 295-301
Larisch J, Aqeel W, Chung T, Kohler E, Levin D, Maggs BM, Parno B, Wilson C

2023 • IEEE Symposium on Security and Privacy: Proceedings • 00:1130-1147
Gancher J, Gibson S, Singh P, Dharanikota S, Parno B

2023 • PROCEEDINGS OF THE 17TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, OSDI 2023 • 911-929
Hance T, Zhou Y, Lattuada A, Achermann R, Conway A, Stutsman R, Zellweger G, Hawblitzel C, Howell J, Parno B

2023 • Proceedings of the ACM on Programming Languages • 7(OOPSLA):
Lattuada A, Hance T, Cho C, Brun M, Subasinghe I, Zhou Y, Howell J, Parno B, Hawblitzel C

2023
Lattuada A, Hance T, Cho C, Brun M, Subasinghe I, Zhou Y, Howell J, Parno B, Hawblitzel C

2023
Lin Z, Gancher J, Parno B

2022 • ACM Transactions on Programming Languages and Systems • 44(2):
Lorch JR, Chen Y, Kapritsos M, Ma H, Parno B, Qadeer S, Sharma U, Wilcox JR, Zhao X

2022 • Transactions on Machine Learning Research • 1(1):
Leino K, Zhang C, Mangal R, Fredrikson M, Parno B, Pasareanu C

2022 • Proceedings of the ACM Conference on Computer and Communications Security • 1857-1870
Larisch J, Aqeel W, Lum M, Goldschlag Y, Kannan L, Torshizi K, Wang Y, Chung T, Levin D, Maggs BM, Mislove A, Parno B, Wilson C