Publications by Bryan Parno

2026
Michael AE, Gollamudi A, Bosamiya J, Disselkoen C, Denlinger A, Watt C, Parno B, Patrignani M, Vassena M, Stefan D

2026 • ACM Transactions on Programming Languages and Systems • 48(2):1-64
Ahman D, Bhargavan K, Bond B, Bosamiya J, Brzuska C, Delignat-Lavaud A, Fournet C, Fromherz A, Gibson S, Hawblitzel C, Hrițcu C, Kohlweiss M, Martínez G, Ni H, Parno B, Protzenko J, Ramananandro T, Rastogi A, Rivas E, Swamy N, Zanella-Béguelin S

2026
Agarwal A, Neamtu N, Aggarwal P, Kim S, Limperg J, Flamant C, Shimizu K, Parno B, Welleck S

2025 • INTERNATIONAL CONFERENCE ON MACHINE LEARNING • 267:
Aggarwal P, Parno B, Welleck S

2025 • PROCEEDINGS OF THE 19TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, OSDI'25 • 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 34TH USENIX SECURITY SYMPOSIUM, SECURITY 2025 • 5071-5090
Singh P, Gancher J, Parno B

2025
Wilf A, Aggarwal P, Parno B, Fried D, Morency L-P, Liang PP, Welleck S

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

2025 • PROCEEDINGS OF THE 34TH USENIX SECURITY SYMPOSIUM, SECURITY 2025 • 5035-5051
Lin Z, McLoughlin M, Singh P, Brennan-Jones R, Hitchcox P, Gancher J, Parno B

2025 • Proceedings of the 34th Usenix Security Symposium • 6897-6915
Bosamiya J, Woo M, Parno B

2025 • PROCEEDINGS OF THE 34TH USENIX SECURITY SYMPOSIUM, SECURITY 2025 • 6917-6935
Cai Y, Singh P, Lin Z, Bosamiya J, Gancher J, Surbatovich M, Parno B

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
Aggarwal P, Parno B, Welleck S

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

2024
Lin Z, Gancher J, 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