[3]
Hu,
Z., Wang, Y.R. and Miranker, D.P. 2025. TreeTracker join: Simple,
optimal, fast.
ACM Trans. Database Syst. (Oct. 2025).
https://doi.org/
10.1145/3774325.
[4]
Bekkers, L., Neven, F., Vansummeren, S. and
Wang, Y.R. 2025. Instance-optimal acyclic join processing without
regret: Engineering the yannakakis algorithm in column stores.
Proc.
VLDB Endow. 18, 8 (2025), 2413–2426.
https://doi.org/
10.14778/3742728.3742737.
[5]
Suciu, D., Wang, Y.R. and Zhang, Y. 2025.
Semantic foundations
of equality saturation.
28th international conference on
database theory, ICDT 2025, barcelona, spain, march 25-28,
2025 (2025), 11:1–11:18.
[6]
Zhang, Y., Suciu, D., Wang, Y.R. and Willsey,
M. 2025.
Database
theory in action: Search-based program optimization.
28th
international conference on database theory, ICDT 2025,
barcelona, spain, march 25-28, 2025 (2025), 34:1–34:6.
[7]
Abo
Khamis, M., Ngo, H.Q., Pichler, R., Suciu, D. and Wang, Y.R. 2024.
Convergence of datalog over (pre-) semirings.
J. ACM. 71, 2
(Apr. 2024). https://doi.org/
10.1145/3643027.
[8]
Wang, Y.R., Willsey, M. and Suciu, D. 2024.
From binary join to free join.
SIGMOD Rec. 53, 1
(2024), 25–31. https://doi.org/
10.1145/3665252.3665259.
[10]
Wang, Y.R., Willsey, M. and Suciu, D. 2023.
Free join: Unifying worst-case optimal and traditional joins.
Proc.
ACM Manag. Data. 1, 2 (2023), 150:1–150:23.
https://doi.org/
10.1145/3589295.
[11]
Zhang, Y., Wang, Y.R., Flatt, O., Cao, D.,
Zucker, P., Rosenthal, E., Tatlock, Z. and Willsey, M. 2023. Better
together: Unifying datalog and equality saturation.
Proc.
ACM Program. Lang. 7,
PLDI (2023),
468–492. https://doi.org/
10.1145/3591239.
[12]
Khamis, M.A., Ngo, H.Q., Pichler, R., Suciu, D.
and Wang, Y.R. 2022.
Convergence of datalog
over (pre-) semirings.
PODS ’22: International
conference on management of data, philadelphia, PA, USA, june 12 - 17,
2022 (2022), 105–117.
[13]
Khamis, M.A., Ngo, H.Q., Pichler, R., Suciu, D.
and Wang, Y.R. 2022. Datalog in wonderland.
SIGMOD
Rec. 51, 2 (2022), 6–17. https://doi.org/
10.1145/3552490.3552492.
[14]
Wang, Y.R., Khamis, M.A., Ngo, H.Q., Pichler,
R. and Suciu, D. 2022.
Optimizing recursive
queries with progam synthesis.
SIGMOD ’22:
International conference on management of data, philadelphia, PA, USA,
june 12 - 17, 2022 (2022), 79–93.
[15]
Zhang, Y., Wang, Y.R., Willsey, M. and Tatlock,
Z. 2022. Relational e-matching.
Proc. ACM Program.
Lang. 6,
POPL (2022), 1–22. https://doi.org/
10.1145/3498696.
[16]
Nandi, C., Willsey, M., Zhu, A., Wang, Y.R.,
Saiki, B., Anderson, A., Schulz, A., Grossman, D. and Tatlock, Z. 2021.
Rewrite rule inference using equality saturation.
Proc.
ACM Program. Lang. 5,
OOPSLA (2021),
1–28. https://doi.org/
10.1145/3485496.
[17]
Willsey, M., Nandi, C., Wang, Y.R., Flatt, O.,
Tatlock, Z. and Panchekha, P. 2021. Egg: Fast and extensible equality
saturation.
Proc. ACM Program. Lang. 5,
POPL (2021), 1–29. https://doi.org/
10.1145/3434304.
[18]
Yang, Y., Phothilimthana, P.M., Wang, Y.R.,
Willsey, M., Roy, S. and Pienaar, J. 2021.
Equality
saturation for tensor graph superoptimization.
Proceedings of
the fourth conference on machine learning and systems, MLSys 2021,
virtual, april 5-9, 2021 (2021).
[19]
Wang, Y.R., Hutchison, S., Suciu, D., Howe, B.
and Leang, J. 2020.
SPORES:
Sum-product optimization via relational equality saturation for large
scale linear algebra.
Proc. VLDB Endow. 13, 11
(2020), 1919–1932.
[20]
Wang, Y.R., Nunez, D. and Fisher, K. 2016.
Autobahn: Using genetic
algorithms to infer strictness annotations.
Proceedings of the
9th international symposium on haskell, haskell 2016, nara, japan,
september 22-23, 2016 (2016), 114–126.