| 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 | 53 | 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 | 19 | 2021 |
| 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 | 8 | 2023 |
| 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 |
| Target-Aware Implementation of Real Expressions B Saiki, J Brough, J Regehr, J Ponce, V Pradeep, A Akhileshwaran, ... arXiv preprint arXiv:2410.14025, 2024 | | 2024 |
| Level-of-detail eigenvector determination in a graphics environment W Zorn, T Drane, B Saiki US Patent App. 18/346,136, 2024 | | 2024 |
| Level-of-detail determination using major squared and efficient clamping in a graphics environment W Zorn, T Drane, B Saiki US Patent App. 18/346,141, 2024 | | 2024 |
| 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 |
