Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
Explore a groundbreaking presentation from PLDI 2023 that introduces egglog, an innovative fixpoint reasoning system unifying Datalog and equality saturation (EqSat). Discover how this novel approach combines the strengths of both systems, offering efficient incremental execution, cooperating analyses, and lattice-based reasoning from Datalog, alongside term rewriting, efficient congruence closure, and optimized term extraction from EqSat. Learn about the system's practical applications in unification-based pointer analysis and floating-point term rewriting, where egglog demonstrates improved speed, simplicity, and bug fixes compared to original implementations. Delve into the research conducted by a team from the University of Washington and other institutions, supported by supplementary materials and evaluated artifacts. Gain insights into program optimization, rewrite systems, and the potential impact of this unified approach on future software development and analysis techniques.
