Towards Relational Contextual Equality Saturation

Explore the cutting-edge research on extending equality saturation techniques in this 19-minute video presentation from the EGRAPHS 2024 workshop. Delve into the concept of contextual equality saturation and its application in program optimization. Learn about the ongoing work by Tyler Hou, Shadaj Laddad, and Joseph M. Hellerstein from the University of California, Berkeley, as they discuss the challenges and potential of combining contextual reasoning with relational models in egglog. Gain insights into existing approaches, key applications, and the future directions of this powerful optimization technique. Presented at the ACM SIGPLAN-sponsored EGRAPHS 2024 workshop on June 24, 2024, this talk offers a comprehensive overview of the latest advancements in relational contextual equality saturation.