Yihong Zhang

11 papers A 2Journal 9
YearRankTypeTitle / Venue / Authors
2025 A conf
Database Theory in Action: Search-Based Program Optimization.
ICDT
Yihong Zhang, Dan Suciu, Yisu Remy Wang, Max Willsey
2025 A conf
Semantic Foundations of Equality Saturation.
ICDT
Dan Suciu, Yisu Remy Wang, Yihong Zhang
2025 J jnl
Semantic foundations of equality saturation.
CoRR
Dan Suciu, Yisu Remy Wang, Yihong Zhang
2024 J jnl
Efficient Bottom-Up Synthesis for Programs with Local Variables.
Proc. ACM Program. Lang.
Xiang Li, Xiangyu Zhou, Rui Dong, Yihong Zhang, Xinyu Wang
2023 J jnl
Better Together: Unifying Datalog and Equality Saturation.
CoRR
Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, Max Willsey
2023 J jnl
Better Together: Unifying Datalog and Equality Saturation.
Proc. ACM Program. Lang.
Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, Max Willsey
2023 J jnl
Efficient Bottom-Up Synthesis for Programs with Local Variables.
CoRR
Xiang Li, Xiangyu Zhou, Rui Dong, Yihong Zhang, Xinyu Wang
2022 J jnl
Relational e-matching.
Proc. ACM Program. Lang.
Yihong Zhang, Yisu Remy Wang, Max Willsey, Zachary Tatlock
2021 J jnl
GeCo: Quality Counterfactual Explanations in Real Time.
CoRR
Maximilian Schleich, Zixuan Geng, Yihong Zhang, Dan Suciu
2021 J jnl
GeCo: Quality Counterfactual Explanations in Real Time.
Proc. VLDB Endow.
Maximilian Schleich, Zixuan Geng, Yihong Zhang, Dan Suciu
2021 J jnl
Relational E-Matching.
CoRR
Yihong Zhang, Yisu Remy Wang, Max Willsey, Zachary Tatlock