conf.researchr.org / Fraser Brown
Fraser Brown

Registered user since Wed 26 Feb 2020

Name: Fraser Brown

Affiliation: Stanford University, USA

Contributions

PLDI 2020Author of Towards a Verified Range Analysis for JavaScript JITs within the PLDI Research Papers-track
PLDI 2019Author of FaCT: A DSL for Timing-Sensitive Computation within the PLDI Research Papers-track
SOAP 2016Author of Verifying Precise Floating-Point Optimizations in LLVM within the SOAP-track