PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
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 Jun

Displayed time zone: Windhoek change

10:40 - 12:20
2. ImplementationEGRAPHS at Reykjavik
10:40
25m
Talk
Slotted E-Graphs
EGRAPHS
Rudi Schneider TU Berlin, Thomas Koehler INRIA, Michel Steuwer Technische Universität Berlin
Pre-print Media Attached
11:05
25m
Talk
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
25m
Talk
Performant Dynamically Typed E-Graphs in Pure Julia
EGRAPHS
Alessandro Cheli PlantingSpace, Niklas Heim Czech Technical University
Pre-print Media Attached
11:55
25m
Talk
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