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 | 179 | 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 | 79 | 2020 |

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 | 77* | 2021 |

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 | 43 | 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 | 26 | 2024 |

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 | 14 | 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 | 14 | 2022 |

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 |

Datalog in wonderland MA Khamis, HQ Ngo, R Pichler, D Suciu, Y Remy Wang ACM SIGMOD Record 51 (2), 6-17, 2022 | 5 | 2022 |

Autobahn: using genetic algorithms to infer strictness annotations YR Wang, D Nunez, K Fisher ACM SIGPLAN Notices 51 (12), 114-126, 2016 | 3 | 2016 |

Relational E-matching Y Zhang, YR Wang, M Willsey, Z Tatlock arXiv preprint arXiv:2108.02290, 2021 | 2 | 2021 |

TransformeR: A DSL for Safe Variable Transformation YR Wang Aug, 2016 | 1 | 2016 |

From Binary Join to Free Join Y Remy Wang, M Willsey, D Suciu ACM SIGMOD Record 53 (1), 25-31, 2024 | | 2024 |

No More Nulls! Y Remy Wang arXiv e-prints, arXiv: 2307.15751, 2023 | | 2023 |

Relational Programming YR Wang University of Washington, 2023 | | 2023 |