Combining E-Graphs with Abstract Interpretation.

Samuel Coward, George A. Constantinides, Theo Drane

Browse the full PLDI paper archive.