My name is Brett Saiki. I am a second-year undergraduate student at the University of Washington engaged in research on computer number systems and optimization of floating-point expressions. I am advised by Zach Tatlock and Pavel Panchekha, and I currently work on Herbie and FPBench.
* If you wish to contact me about my research, please use my UW email address.
Herbie - a tool for minimizing error in floating-point expressions.
FPBench - a collection of benchmarks, compilers, and standards for the floating-point research community.
Minim - a Scheme-like language inspired by recent work in Racket.
ENL - a library of alternate number systems written in C. Currently supports quad-double.
MathSolver - a mathematical evaluator written in C++ (creative name in the works).
FPBench community - FPBench, FPCore, number systems and more. Please start here if you want to know more about the FPBench Project.
Titanic evaluator - an FPCore evaluator written in Python by Bill Zorn. Try it out!
Herbie web demo - an interactive page that runs programs through Herbie. Try it out!
October 28, 2020
I released Minim version 0.1.0, the first release for the project, with minimal support for symbols, numbers, pairs, lists, and lambdas. It's hilarious that you can calculate e^x but you can't print "Hello, World!". Next steps: strings, hash tables, vectors, and everything else a language should have...
June 24, 2020
I attended FPTalks 2020, the first annual research conference hosted by the FPBench team, complete with 16 speakers, Zoom, and virtual hangouts. Please join us next year in June. Check out the FPBench community page for more information.