E Graph
E-graphs are a versatile data structure used to represent and manipulate sets of equivalent expressions, enabling efficient exploration of program optimizations and analysis of complex relationships. Current research focuses on applying e-graphs in diverse fields, including program optimization via techniques like Monte Carlo Tree Search for efficient e-graph construction and abstract interpretation for improved precision, and network analysis, as exemplified by datasets linking blockchain transactions with social media activity. These applications demonstrate the power of e-graphs to solve challenging problems in computer science and beyond, leading to improved hardware design, enhanced cybersecurity, and more accurate data analysis.
Papers
November 4, 2024
October 2, 2023
August 15, 2023
March 8, 2023
July 20, 2022
March 17, 2022