An archive of conference papers, short papers, notes, and miscellaneous

Conference Papers

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

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

Class Papers

FPyDebug: Numerical Accuracy Profiling -paper on a tool for profiling numerical accuracy in Python (written for CSE 503)

Computer Number Systems - paper on computer number systems (written for MATH 336)

Computer-Automated Rewriting - paper on computer-aided rewriting (written for ENGR 231)

Notes

Abstract Algebra - abstract algebra notes from MATH 402/403 at UW

Complex Analysis - complex analysis notes from MATH 336 at UW

Construction of Numbers - constructing numbers from first principles

Numerical Analysis - numerical analysis notes from MATH 464/465 at UW

Probability - probability notes from MATH/STAT 394 at UW

Real Analysis - real analysis notes from MATH 334/335 at UW