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