Bryan Parno -

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

2025

Dafny

PC Member in Program Committee within the Dafny 2025-track

2024

HATRA

Committee Member in Program Committee within the HATRA 2024-track

SPLASH

Author of FlowCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions within the OOPSLA 2024-track

2023

SPLASH

Author of Leaf: Modularity for Temporary Sharing in Separation Logic within the OOPSLA-track
Author of Verus: Verifying Rust Programs using Linear Ghost Types within the OOPSLA-track

POPL

Author of MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code within the POPL-track

CPP

Author of FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores within the CPP 2023-track

2022

HATRA

Committee Member in Program Committee within the Human Aspects of Types and Reasoning Assistants-track

SPLASH

Author of Linear types for large-scale systems verification within the OOPSLA-track

2021

SPLASH

Author of Armada: Low-Effort Verification of High-Performance Concurrent Programs within the SIGPLAN Papers-track

2020

PLDI

PriSC

Author of WebAssembly as an Intermediate Language for Provably-Safe Software Sandboxing within the Principles of Secure Compilation 2020-track

2019

POPL

Author of A Verified, Efficient Embedding of a Verifiable Assembly Language within the Research Papers-track

2016

ML

Author of Extracting from F* to C: a progress report within the ML-track

FMS

Invited Speaker of Ironclad: Full Verification of Complex Systems within the FMS-track

VMCAI

Author of Ironclad - Full Verification of Complex Systems within the VMCAI-track