Mon 19 Jun 2023 14:00 - 14:20 at Cypress 2 - PLDI: Compilation Chair(s): Chung-Kil Hur

We present egglog, a fixpoint reasoning system that unifies Datalog and equality saturation (EqSat). Like Datalog, egglog supports efficient incremental execution, cooperating analyses, and lattice-based reasoning. Like EqSat, egglog supports term rewriting, efficient congruence closure, and extraction of optimized terms.

We identify two recent applications – a unification-based pointer analysis in Datalog and an EqSat-based floating-point term rewriter – that have been hampered by features missing from Datalog but found in EqSat or vice-versa. We evaluate our system by reimplementing those projects in egglog. The resulting systems in egglog are faster, simpler, and fix bugs found in the original systems.

Mon 19 Jun

Displayed time zone: Eastern Time (US & Canada) change

13:40 - 15:20
PLDI: CompilationPLDI Research Papers at Cypress 2
Chair(s): Chung-Kil Hur Seoul National University

#pldi-mon-1340-compilation-cypress Discord icon small YouTube icon small

13:40
20m
Talk
Don’t Look UB: Exposing Sanitizer-Eliding Compiler Optimizations
PLDI Research Papers
Raphael Isemann Vrije Universiteit Amsterdam, Cristiano Giuffrida Vrije Universiteit Amsterdam, Herbert Bos Vrije Universiteit Amsterdam, Erik van der Kouwe Vrije Universiteit Amsterdam, Klaus von Gleissenthall Vrije Universiteit Amsterdam
DOI
14:00
20m
Talk
Better Together: Unifying Datalog and Equality Saturation
PLDI Research Papers
Yihong Zhang University of Washington, Yisu Remy Wang University of Washington, Oliver Flatt University of Washington, David Cao University of California at San Diego, Philip Zucker Draper, Eli Rosenthal Google, Zachary Tatlock University of Washington, Max Willsey University of Washington
DOI Pre-print
14:20
20m
Talk
HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption
PLDI Research Papers
Sunjae Park Seoul National University, Woosung Song Google, Seunghyeon Nam Seoul National University, Hyeongyu Kim Seoul National University, Junbum Shin CryptoLab, Juneyoung Lee AWS
DOI
14:40
20m
Talk
Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs
PLDI Research Papers
Scott Kovach Stanford University, Praneeth Kolichala Stanford University, Tiancheng “Timothy” Gu Stanford University, Fredrik Kjolstad Stanford University
DOI Pre-print
15:00
20m
Talk
Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages
PLDI Research Papers
Vsevolod Livinskii University of Utah, Dmitry Babokin Intel Corporation, John Regehr University of Utah
DOI Pre-print