Follow
Yisu Remy Wang
Yisu Remy Wang
Verified email at cs.washington.edu - Homepage
Title
Cited by
Cited by
Year
egg: Fast and extensible equality saturation
M Willsey, C Nandi, YR Wang, O Flatt, Z Tatlock, P Panchekha
arXiv preprint arXiv:2004.03082, 2020
502020
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
342020
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
182021
Rewrite Rule Inference Using Equality Saturation
C Nandi, M Willsey, A Zhu, YR Wang, B Saiki, A Anderson, A Schulz, ...
arXiv preprint arXiv:2108.10436, 2021
102021
Convergence of datalog over (pre-) semirings
MA Khamis, HQ Ngo, R Pichler, D Suciu, YR Wang
arXiv preprint arXiv:2105.14435, 2021
42021
Autobahn: using genetic algorithms to infer strictness annotations
YR Wang, D Nunez, K Fisher
ACM SIGPLAN Notices 51 (12), 114-126, 2016
42016
Relational e-matching
Y Zhang, YR Wang, M Willsey, Z Tatlock
Proceedings of the ACM on Programming Languages 6 (POPL), 1-22, 2022
32022
TransformeR: A DSL for Safe Variable Transformation
YR Wang
Aug, 2016
12016
Datalog in Wonderland
MA Khamis, HQ Ngo, R Pichler, D Suciu, Y Remy Wang
ACM SIGMOD Record 51 (2), 6-17, 2022
2022
E-Graphs, VSAs, and Tree Automata: a Rosetta Stone
YR Wang, J Koppel, A Haan, J Pollock
https://remy.wang/reports/dfta.pdf, 2022
2022
Optimizing Recursive Queries with Program Synthesis
Y Remy Wang, M Abo Khamis, HQ Ngo, R Pichler, D Suciu
arXiv e-prints, arXiv: 2202.10390, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–11