Optimizing software: Computing professor's 'egg' downsizes programs to make them more nimble

E-graphs, originally developed for use in automated theorem provers, are data structures that compactly represent a large number of expressions and the equalities between them. The egg library is a fast and flexible open-source implementation of e-graphs and equality saturation. It has been used in hundreds of academic and industrial projects for program optimization, synthesis, and verification in many domains; some are briefly highlighted in this article. Direct link to the publication: https://dl.acm.org/doi/10.1145/3815481 Summer 2026 submitted by /u/Choobeen [link] [留言]