Hugging Peers

Fraser Brown

☆ Save

27 papers 26 citations h-index 1 2016–2026

LifeJacket: Verifying precise floating-point optimizations in LLVM

Andres Notzli, Fraser Brown

Optimizing floating-point arithmetic is vital because it is ubiquitous, costly, and used in compute-heavy workloads. Implementing precise optimizations correctly, however, is difficult, since...

26 citations 2016-03 SOAP@PLDI

FaCT: A Flexible, Constant-Time Programming Language

Sunjay Cauligi, Gary Soeller, Fraser Brown, Brian Johannesmeyer, Yunlu Huang, Ranjit Jhala
+1 more show fewer
Deian Stefan
2017-01 SecDev

Доверя'й, но проверя'й: SFI safety for native-compiled Wasm

Evan Johnson, David Thien, Yousef Alhessi, Shravan Narayan, Fraser Brown, Sorin Lerner
+3 more show fewer
Tyler McMullen, Stefan Savage, Deian Stefan
2021-01 NDSS

Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection

Alexa VanHattum, Monica Pardeshi, Chris Fallin, Adrian Sampson, Fraser Brown
2024-01 ASPLOS (1)

How to Build Static Checking Systems Using Orders of Magnitude Less Code

Fraser Brown, Andres Nötzli, Dawson R. Engler
2016-01 ASPLOS

Bounded Verification for Finite-Field-Blasting - In a Compiler for Zero Knowledge Proofs

Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. Barrett
2023-01 CAV (3)

Icarus: Trustworthy Just-In-Time Compilers with Symbolic Meta-Execution

Naomi Smith, Abhishek Sharma, John Renner, David Thien, Fraser Brown, Hovav Shacham
+2 more show fewer
Ranjit Jhala, Deian Stefan
2024-01 SOSP

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code

Fraser Brown, Deian Stefan, Dawson R. Engler
2020-01 USENIX Security Symposium

Bending microarchitectural weird machines towards practicality

Ping-Lun Wang, Riccardo Paccagnella, Riad S. Wahby, Fraser Brown
2024-01 USENIX Security Symposium

The ghost is the machine: Weird machines in transient execution

Ping-Lun Wang, Fraser Brown, Riad S. Wahby
2023-01 SP (Workshops)

CirC: Compiler infrastructure for proof systems, software verification, and more

Alex Ozdemir, Fraser Brown, Riad S. Wahby
2022-01 SP

CoBBL: Dynamic Constraint Generation for SNARKs

Kunming Jiang, Fraser Brown, Riad S. Wahby
2025-01 SP

Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols

Edward Chen, Jinhao Zhu, Alex Ozdemir, Riad S. Wahby, Fraser Brown, Wenting Zheng
2023-01 SP

Finding and Preventing Bugs in JavaScript Bindings

Fraser Brown, Shravan Narayan, Riad S. Wahby, Dawson R. Engler, Ranjit Jhala, Deian Stefan
2017-01 IEEE Symposium on Security and Privacy

WaVe: a verifiably secure WebAssembly sandboxing runtime

Evan Johnson, Evan Laufer, Zijie Zhao, Dan Gohman, Shravan Narayan, Stefan Savage
+2 more show fewer
Deian Stefan, Fraser Brown
2023-01 SP

Transient Architectural Execution: From Weird Gates to Weird Programs

Ping-Lun Wang, Fraser Brown, Riccardo Paccagnella, Eyal Ronen, Riad S. Wahby, Yuval Yarom
2026-01 SP

Scooter & Sidecar: a domain-specific approach to writing secure database migrations

John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, Deian Stefan
2021-01 PLDI

Towards a verified range analysis for JavaScript JITs

Fraser Brown, John Renner, Andres Nötzli, Sorin Lerner, Hovav Shacham, Deian Stefan
2020-01 PLDI