GeCo: Quality Counterfactual Explanations in Real Time. - Maximilian Schleich; Zixuan Geng; Yihong Zhang 004; Dan Suciu (Proc. VLDB Endow., 2021)

Relational e-matching. - Yihong Zhang 004; Yisu Remy Wang; Max Willsey; Zachary Tatlock (Proc. ACM Program. Lang., 2022)

Better Together: Unifying Datalog and Equality Saturation. - Yihong Zhang 004; Yisu Remy Wang; Oliver Flatt; David Cao; Philip Zucker; Eli Rosenthal; Zachary Tatlock; Max Willsey (Proc. ACM Program. Lang., 2023)

Efficient Bottom-Up Synthesis for Programs with Local Variables. - Xiang Li; Xiangyu Zhou; Rui Dong 006; Yihong Zhang 004; Xinyu Wang 006 (Proc. ACM Program. Lang., 2024)

Database Theory in Action: Search-Based Program Optimization. - Yihong Zhang 004; Dan Suciu; Yisu Remy Wang; Max Willsey (ICDT, 2025)

Semantic Foundations of Equality Saturation. - Dan Suciu; Yisu Remy Wang; Yihong Zhang 004 (ICDT, 2025)