13 citations · 17 across the 5 of their papers we have counts for
7 papers
Rewrite System Showdown: Stochastic Search vs. EqSat
Qiantan Hong, Rupanshu Soi, Yihong Zhang +1
Equality saturation has become a dominant paradigm for equational program optimization. However, it has never been rigorously compared to another approach to the same problem, even…
Semantic foundations of equality saturation
Dan Suciu, Yisu Remy Wang, Yihong Zhang
Equality saturation is an emerging technique for program and query optimization developed in the programming language community. It performs term rewriting over an E-graph, a data…
E-Graphs as Circuits, and Optimal Extraction via Treewidth
Glenn Sun, Yihong Zhang, Haobin Ni
We demonstrate a new connection between e-graphs and Boolean circuits. This allows us to adapt existing literature on circuits to easily arrive at an algorithm for optimal e-graph…
Efficient Bottom-Up Synthesis for Programs with Local Variables
Xiang Li, Xiangyu Zhou, Rui Dong +2
We propose a new synthesis algorithm that can efficiently search programs with local variables (e.g., those introduced by lambdas). Prior bottom-up synthesis algorithms are not abl…
Better Together: Unifying Datalog and Equality Saturation
Yihong Zhang, Yisu Remy Wang, Oliver Flatt +5
We present egglog, a fixpoint reasoning system that unifies Datalog and equality saturation (EqSat). Like Datalog, it supports efficient incremental execution, cooperating analyses…
Relational E-Matching
Yihong Zhang, Yisu Remy Wang, Max Willsey +1
We present a new approach to e-matching based on relational join; in particular, we apply recent database query execution techniques to guarantee worst-case optimal run time. Compa…
GeCo: Quality Counterfactual Explanations in Real Time
Maximilian Schleich, Zixuan Geng, Yihong Zhang +1
Machine learning is increasingly applied in high-stakes decision making that directly affect people's lives, and this leads to an increased demand for systems to explain their deci…