
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