Sotabase

Career

· UCLA

Publications (24)

egg: Fast and extensible equality saturation
Proc. ACM Program. Lang. · 2020
243
cited
Equality Saturation for Tensor Graph Superoptimization
Conference on Machine Learning and Systems · 2021
106
cited
SPORES
Proceedings of the VLDB Endowment · 2020
51
cited
Rewrite rule inference using equality saturation
Proc. ACM Program. Lang. · 2021
50
cited
Better Together: Unifying Datalog and Equality Saturation
Proceedings of the ACM on Programming Languages · 2023
45
cited
Convergence of Datalog over (Pre-) Semirings
ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems · 2021
44
cited
Free Join: Unifying Worst-Case Optimal and Traditional Joins
Proc. ACM Manag. Data · 2023
34
cited
Relational e-matching
Proc. ACM Program. Lang. · 2021
22
cited
Optimizing Recursive Queries with Progam Synthesis
SIGMOD Conference · 2022
19
cited
egg: Easy, Efficient, and Extensible E-graphs
arXiv.org · 2020
4
cited
From Binary Join to Free Join
SIGMOD record · 2024
4
cited
Autobahn: using genetic algorithms to infer strictness annotations
ACM SIGPLAN Symposium/Workshop on Haskell · 2016
2
cited
egg: Fast and Extensible E-graphs
2020
2
cited
Database Theory in Action: Search-Based Program Optimization
International Conference on Database Theory · 2025
1
cited
DOA estimation and interpolation beamformering with semicircular array
2006
1
cited
E-Graphs, VSAs, and Tree Automata: a Rosetta Stone
2022
1
cited
Semantic foundations of equality saturation
International Conference on Database Theory · 2025
1
cited
Artifact for "Relational E-matching"
Artifact Digital Object Group · 2022
Matrix Pencil Method using Cumulant Matrix
2005
Matrix Pencil Method Using Fourth-Order Cumulant
2005
Sotabase
Remy Wang | Researcher Profile | Sotabase | Sotabase