Brett Saiki

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 6

Top Topics

Inference Process

Active Databases

Top Venues

Proc. ACM Program. Lang.

Publications

Edward Misback, Caleb Chan, Brett Saiki, Eunice Jun, Zachary Tatlock, Pavel Panchekha
Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting. CoRR (2023)
Anjali Pal, Brett Saiki, Ryan Tjoa, Cynthia Richey, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, Chandrakana Nandi
Equality Saturation Theory Exploration à la Carte. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Edward Misback, Caleb C. Chan, Brett Saiki, Eunice Jun, Zachary Tatlock, Pavel Panchekha
Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting. UIST (2023)
Brett Saiki, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock
Combining Precision Tuning and Rewriting. ARITH (2021)
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock
Rewrite Rule Inference Using Equality Saturation. CoRR (2021)
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock
Rewrite rule inference using equality saturation. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)