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