Fraser Brown -

Registered user since Wed 26 Feb 2020

Name: Fraser Brown

Affiliation: Stanford University, USA

Contributions

PriSC 2021	Committee Member in Program Committee within the PriSC 2021-track Author of High-level high-speed high-assurance crypto within the PriSC 2021-track Session Chair of Secure compilers & cryptography (part of PriSC 2021)
PLDI 2020	Author of Towards a Verified Range Analysis for JavaScript JITs within the PLDI Research Papers-track
PLDI 2019	Author of FaCT: A DSL for Timing-Sensitive Computation within the PLDI Research Papers-track
SOAP 2016	Author of Verifying Precise Floating-Point Optimizations in LLVM within the SOAP-track