关注
Yihong Zhang
Yihong Zhang
在 cs.washington.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Geco: Quality counterfactual explanations in real time
M Schleich, Z Geng, Y Zhang, D Suciu
Proceedings of the VLDB Endowment 14 (9), 1681, 2021
622021
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
112023
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
32024
Relational e-matching
Y Zhang, YR Wang, M Willsey, Z Tatlock
Proceedings of the ACM on Programming Languages 6 (POPL), 1-22, 2022
12022
系统目前无法执行此操作,请稍后再试。
文章 1–4