Registered user since Fri 27 Sep 2019
Name:Bryan Parno
Country:United States
Affiliation:Carnegie Mellon University
Personal website:https://www.andrew.cmu.edu/user/bparno/
Contributions
| POPL 2023 | MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code | ||||||||||||||||||||||||||||||||||||||||
| CPP 2023 | FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2023-profile
View general profile
View general profile