• Sign in
  • Sign up
conf.researchr.org / Bryan Parno
  • ICFP 2016 profile
  • PLDI 2016 profile
  • PLDI 2020 profile
  • POPL 2016 profile
  • POPL 2019 profile
  • POPL 2020 profile
  • SPLASH 2021 profile
  • SPLASH 2022 profile
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

HATRA 2022 Committee Member in Program Committee within the Human Aspects of Types and Reasoning Assistants-track
SPLASH 2021 Author of Armada: Low-Effort Verification of High-Performance Concurrent Programs within the SIGPLAN Papers-track
SPLASH 2022 Author of Linear types for large-scale systems verification within the OOPSLA-track
PriSC 2020 Author of WebAssembly as an Intermediate Language for Provably-Safe Software Sandboxing within the Principles of Secure Compilation 2020-track
PLDI 2020 Committee 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 2019 Author of A Verified, Efficient Embedding of a Verifiable Assembly Language within the Research Papers-track
FMS Invited Speaker of Ironclad: Full Verification of Complex Systems within the FMS-track
ML 2016 Author of Extracting from F* to C: a progress report within the ML-track
VMCAI Author of Ironclad - Full Verification of Complex Systems within the VMCAI-track

Share
xSat 25 Jun 18:28
using conf.researchr.org (v1.56.1)
Support page
Sign Up