My Picture


My name is Brett Saiki. I am a graduate student at the University of Washington. I do research in programming languages, computer number systems, and term rewriting alongside my advisors Zach Tatlock and Pavel Panchekha. I currently work on projects like Herbie, Ruler, and FPBench.

Resume - LinkedIn - GitHub


  • Herbie - a tool for minimizing error in floating-point expressions.

  • FPBench - a collection of benchmarks, compilers, and standards for the floating-point research community.

  • Ruler - a framework for synthesizing rewrite rules for a particular domain.


Equality Saturation Theory Exploration à la Carte
Anjali Pal, Brett Saiki, Ryan Tjoa, Cynthia Richey, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, Chandrakana Nandi
Object-Oriented Programming, Systems, Languages and Applications (OOPSLA) 2023

Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting
Edward Misback, Caleb C. Chan, Brett Saiki, Eunice Jun, Zachary Tatlock, Pavel Panchekha
ACM Symposium on User Interface Software and Technology (UIST) 2023

Rewrite Rule Inference Using Equality Saturation
Chandrakana Nandi, Max Willsey, Amy Zhu, Brett Saiki, Yisu Wang, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock
Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) 2021
Distinguished Paper Award

Combining Precision Tuning and Rewriting
Brett Saiki, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock
IEEE Symposium on Computer Arithmetic (ARITH) 2021
Paper - Talk

Side Projects

  • Minim - a Scheme-like language inspired by recent work in Racket.

  • mpmfnum - number systems library in Rust.

  • generic-flonum - Racket interface for MPFR that supports subnormal numbers and variable exponent sizes.


  • FPBench community - FPBench, FPCore, number systems, and more. Please start here if you want to know more about the FPBench Project.

  • Herbie web demo - an interactive page that runs programs through Herbie. Try it out!