PLDI 2024 (series) / EGRAPHS 2024 (series) / EGRAPHS 2024 /
Performant Dynamically Typed E-Graphs in Pure Julia
Mon 24 Jun 2024 11:30 - 11:55 at Reykjavik - 2. Implementation
We introduce the third major version of Metatheory.jl, a Julia library for general-purpose metaprogramming and symbolic computation. Metatheory.jl provides a flexible and performant implementation of e-graphs and Equality Saturation (EqSat) that addresses the two-language problem in high-level compiler optimizations, symbolics and metaprogramming. We present results from our ongoing optimization efforts, comparing the state-of-the-art egg Rust library’s performance against our system, and show that performant EqSat implementations are possible without sacrificing the comfort of a direct 1-1 integration with a dynamic, high-level and an interactive host programming language.
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 |