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 | 11 | 2023 |
Relational e-matching Y Zhang, YR Wang, M Willsey, Z Tatlock Proceedings of the ACM on Programming Languages 6 (POPL), 1-22, 2022 | 1 | 2022 |