PLDI 2024 (series) / EGRAPHS 2024 (series) / EGRAPHS 2024 /
Towards Relational Contextual Equality Saturation
Mon 24 Jun 2024 11:05 - 11:30 at Reykjavik - 2. Implementation
Equality saturation is a powerful technique for program optimization. Contextual equality saturation extends this to support rewrite rules that are conditioned on where a term appears in an expression. Existing work has brought contextual reasoning to egg; in this paper, we share our ongoing work to extend this to relational equality saturation in egglog. We summarize the existing approaches to contextual equality saturation, outline its main applications, and identify key challenges in combining this approach with relational models.
Mon 24 JunDisplayed time zone: Windhoek change
Mon 24 Jun
Displayed time zone: Windhoek change
10:40 - 12:20 | |||
10:40 25mTalk | Slotted E-Graphs EGRAPHS Pre-print Media Attached | ||
11:05 25mTalk | Towards Relational Contextual Equality Saturation EGRAPHS Tyler Hou University of California, Berkeley, Shadaj Laddad University of California at Berkeley, Joseph M. Hellerstein UC Berkeley Pre-print Media Attached | ||
11:30 25mTalk | Performant Dynamically Typed E-Graphs in Pure Julia EGRAPHS Pre-print Media Attached | ||
11:55 25mTalk | EGSTRA: E-Graph-Based Strategy for Test Suite Reduction and Abstraction EGRAPHS Sabrina Reis Lawrence Livermore National Laboratory, Matthew Sottile Lawrence Livermore National Laboratory Media Attached File Attached |