Better Together: Unifying Datalog and Equality Saturation

• Wednesday, March 20, 2024
• Discussion lead: Max
• Reading guide due Monday, March 18 at 2:30pm
• Paper link

Reading Guide

1. Intro - Read
2. Background - Skim, should be mostly review
3. Overview - Read, most important section!
4. Semantics - Read but don’t get hung up!
5. Implementation - Read
6. Evaluation - Skim, it works!
7. Related Work - Skim

See also

• Demo video from Oliver Flatt
• Web demo, feel free to play around.
• Github