Fraser Brown -

Registered user since Wed 26 Feb 2020

Name:Fraser Brown

Affiliation:Stanford University, USA

Contributions

CC 2023	Committee Member in Program Committee within the Research Papers-track
PriSC 2023	Author of Cachet: A Domain-Specific Language for Trustworthy Just-In-Time Compilers within the PriSC 2023-track Author of FaJITa: Verifying Optimizations on Just-In-Time Programs within the PriSC 2023-track
PLDI 2022	Committee Member in PLDI within the PLDI-track
SPLASH 2021	Author of Scooter & Sidecar: A domain-specific approach to writing secure migrations within the SIGPLAN Papers-track Author of Towards a Verified Range Analysis for JavaScript JITs within the SIGPLAN Papers-track
PLDI 2021	Author of Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations within the PLDI-track
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