conf.researchr.org / Bryan Parno
Bryan Parno

Registered user since Fri 27 Sep 2019

Name: Bryan Parno

Affiliation: Carnegie Mellon University, USA

Personal website: https://www.andrew.cmu.edu/user/bparno/

Contributions

PriSC 2020Author of WebAssembly as an Intermediate Language for Provably-Safe Software Sandboxing within the Principles of Secure Compilation 2020-track
PLDI 2020Committee Member in External Review Committee within the PLDI Research Papers-track
Author of Armada: Low-Effort Verification of High-Performance Concurrent Programs within the PLDI Research Papers-track
POPL 2019Author of A Verified, Efficient Embedding of a Verifiable Assembly Language within the Research Papers-track
FMSInvited Speaker of Ironclad: Full Verification of Complex Systems within the FMS-track
ML 2016Author of Extracting from F* to C: a progress report within the ML-track
VMCAIAuthor of Ironclad - Full Verification of Complex Systems within the VMCAI-track