| Egg: Fast and extensible equality saturation M Willsey, C Nandi, YR Wang, O Flatt, Z Tatlock, P Panchekha Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021 | 216 | 2021 |
| Equality saturation for tensor graph superoptimization Y Yang, P Phothilimthana, Y Wang, M Willsey, S Roy, J Pienaar Proceedings of Machine Learning and Systems 3, 255-268, 2021 | 88 | 2021 |
| SPORES: sum-product optimization via relational equality saturation for large scale linear algebra YR Wang, S Hutchison, J Leang, B Howe, D Suciu arXiv preprint arXiv:2002.07951, 2020 | 87 | 2020 |
| 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 | 51 | 2021 |
| Convergence of datalog over (pre-) semirings M Abo Khamis, HQ Ngo, R Pichler, D Suciu, YR Wang Journal of the ACM 71 (2), 1-55, 2024 | 33 | 2024 |
| Better together: Unifying datalog and equality saturation Y Zhang, YR Wang, O Flatt, D Cao, P Zucker, E Rosenthal, Z Tatlock, ... Proceedings of the ACM on Programming Languages 7 (PLDI), 468-492, 2023 | 22 | 2023 |
| Free join: Unifying worst-case optimal and traditional joins YR Wang, M Willsey, D Suciu Proceedings of the ACM on Management of Data 1 (2), 1-23, 2023 | 18 | 2023 |
| Optimizing recursive queries with progam synthesis YR Wang, M Abo Khamis, HQ Ngo, R Pichler, D Suciu Proceedings of the 2022 International Conference on Management of Data, 79-93, 2022 | 18 | 2022 |
| Datalog in wonderland MA Khamis, HQ Ngo, R Pichler, D Suciu, Y Remy Wang ACM SIGMOD Record 51 (2), 6-17, 2022 | 6 | 2022 |
| Relational E-matching Y Zhang, YR Wang, M Willsey, Z Tatlock arXiv preprint arXiv:2108.02290, 2021 | 3 | 2021 |
| Autobahn: using genetic algorithms to infer strictness annotations YR Wang, D Nunez, K Fisher ACM SIGPLAN Notices 51 (12), 114-126, 2016 | 3 | 2016 |
| From Binary Join to Free Join Y Remy Wang, M Willsey, D Suciu ACM SIGMOD Record 53 (1), 25-31, 2024 | 2 | 2024 |
| TransformeR: A DSL for Safe Variable Transformation YR Wang Aug, 2016 | 1 | 2016 |
| No More Nulls! Y Remy Wang arXiv e-prints, arXiv: 2307.15751, 2023 | | 2023 |
| Relational Programming YR Wang University of Washington, 2023 | | 2023 |
