‪Yihong Zhang‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	66	66
h-index	2	2
i10-index	1	1

0

24

12

202020212022202320241 4 22 23 16

Co-authors

Dan SuciuUniversity of WashingtonVerified email at cs.washington.edu
Maximilian SchleichUniversity of WashingtonVerified email at cs.washington.edu
Max WillseyUC BerkeleyVerified email at eecs.berkeley.edu
Zachary TatlockUniversity of WashingtonVerified email at cs.washington.edu
Xiangyu ZhouUniversity of MichiganVerified email at umich.edu

Yihong Zhang

Yihong Zhang

University of Washington

Verified email at cs.washington.edu - Homepage

Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Geco: Quality counterfactual explanations in real time M Schleich, Z Geng, Y Zhang, D Suciu Proceedings of the VLDB Endowment 14 (9), 1681, 2021	55	2021
Better together: Unifying datalog and equality saturation Y Zhang, YR Wang, O Flatt, D Cao, P Zucker, E Rosenthal, Z Tatlock, ... Proceedings of the ACM on Programming Languages 7 (PLDI), 468-492, 2023	8	2023
Relational e-matching Y Zhang, YR Wang, M Willsey, Z Tatlock Proceedings of the ACM on Programming Languages 6 (POPL), 1-22, 2022	2	2022
Efficient Bottom-Up Synthesis for Programs with Local Variables X Li, X Zhou, R Dong, Y Zhang, X Wang Proceedings of the ACM on Programming Languages 8 (POPL), 1540-1568, 2024	1	2024

The system can't perform the operation now. Try again later.

Articles 1–4