Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Fraser Brown
conf.researchr.org general profile
CC 2023 profile
ICFP/SPLASH 2025 profile
PLDI 2016 profile
PLDI 2019 profile
PLDI 2020 profile
PLDI 2021 profile
PLDI 2022 profile
PLDI 2023 profile
PLDI 2026 profile
POPL 2021 profile
POPL 2023 profile
POPL 2024 profile
SPLASH 2021 profile
Registered user since Wed 26 Feb 2020
Name:
Fraser Brown
Affiliation:
CMU
Contributions
2026
PLDI
Committee Member in PLDI Review Committee within the PLDI Research Papers-track
2025
SPLASH
Author of Scaling Instruction-Selection Verification against Authoritative ISA Semantics within the OOPSLA-track
2024
POPL
Committee Member in Program Committee within the POPL-track
2023
PLMW
Panelist of Panel: How to excel in graduate school within the PLMW@PLDI 2023-track
SOAP
Committee Member in Program Committee within the SOAP 2023-track
CC
Committee Member in Program Committee within the Research Papers-track
PriSC
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
2022
PLDI
Committee Member in PLDI within the PLDI-track
2021
SPLASH
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
Author of Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations within the PLDI-track
PriSC
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)
2020
PLDI
Author of Towards a Verified Range Analysis for JavaScript JITs within the PLDI Research Papers-track
2019
PLDI
Author of FaCT: A DSL for Timing-Sensitive Computation within the PLDI Research Papers-track
2016
SOAP
Author of Verifying Precise Floating-Point Optimizations in LLVM within the SOAP-track
Share
x
Fri 17 Oct 22:44
