My Picture

About

My name is Brett Saiki. I am an industrial PhD student at the University of Washington advised by Zachary Tatlock and the Numerical and System-Level Design Group at Intel. I do research in programming languages, computer number systems, term rewriting for hardware design.

Resume - LinkedIn - GitHub

Research

  • 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.

Publications

Target-Aware Implementation of Real Expressions
Brett Saiki, Jackson Brough, Jonas Regehr, Jesús Ponce, Varun Pradeep, Aditya Akhileshwaran, Zachary Tatlock, Pavel Panchekha
Architectural Support for Programming Languages and Operating Systems (ASPLOS) 2025
Paper | Slides | Poster

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
Paper

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
Paper

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
Paper

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 work in Racket.

  • mpmfnum - number systems library in Rust.

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

Resources

  • 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!