Better Together: Unifying Datalog and Equality Saturation

PLDI 2023, June 2023
Conditionally accepted
BibTeX
@misc{egglog,
  author = {
    Yihong Zhang and
    Yisu Remy Wang and
    Oliver Flatt and
    David Cao and
    Philip Zucker and
    Eli Rosenthal and
    Zachary Tatlock and
    Max Willsey
  },
  title = {Better Together: Unifying Datalog and Equality Saturation},
  year = {2023},
}

Abstract

[[ under revision ]]