| Rewrite rule inference using equality saturation C Nandi, M Willsey, A Zhu, YR Wang, B Saiki, A Anderson, A Schulz, ... Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-28, 2021 | 44 | 2021 |
| Combining precision tuning and rewriting B Saiki, O Flatt, C Nandi, P Panchekha, Z Tatlock 2021 IEEE 28th Symposium on Computer Arithmetic (ARITH), 1-8, 2021 | 16 | 2021 |
| Odyssey: An interactive workbench for expert-driven floating-point expression rewriting E Misback, CC Chan, B Saiki, E Jun, Z Tatlock, P Panchekha Proceedings of the 36th Annual ACM Symposium on User Interface Software and …, 2023 | 3 | 2023 |
| Equality Saturation Theory Exploration à la Carte A Pal, B Saiki, R Tjoa, C Richey, A Zhu, O Flatt, M Willsey, Z Tatlock, ... Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1034-1062, 2023 | 1 | 2023 |
| Computation of correctly rounded floating point summation B Saiki, W Zorn, T Drane US Patent App. 18/417,215, 2024 | | 2024 |
| Computation of exact floating point addition B Saiki, W Zorn, T Drane US Patent App. 18/417,178, 2024 | | 2024 |
| Computer-Automated Rewriting B Saiki | | 2021 |
| An Overview of Computer Number Representations and Error In Computation B Saiki | | 2021 |
