Tue 14 Jun 2022 15:45 - 16:00 at Toucan - Extensions Chair(s): Zachary Tatlock
Wed 15 Jun 2022 03:45 - 04:00 at Toucan - Extensions

Recent e-graph applications have typically considered concrete semantics of expressions, where the notion of equivalence stems from concrete interpretation of expressions. However, equivalences that hold over one interpretation may not hold in an alternative interpretation. Such an observation can be exploited. We consider the application of abstract interpretation to e-graphs, and show that within an e-graph, the lattice meet operation associated with the abstract domain has a natural interpretation for an e-class, leading to improved precision in over-approximation. In this talk, we use Interval Arithmetic (IA) to illustrate this point. An extended abstract can be found here.

Tue 14 Jun

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

15:30 - 16:30
ExtensionsEGRAPHS at Toucan +12h
Chair(s): Zachary Tatlock University of Washington
15:30
15m
Talk
On the Optimization of Equivalent Concurrent ComputationsVirtual
EGRAPHS
Henrich Lauko Trail of Bits, Lukáš Korenčik Trail of Bits, Peter Goodman Trail of Bits
15:45
15m
Talk
Abstract Interpretation on E-Graphs
EGRAPHS
Samuel Coward Imperial College London, UK, George A. Constantinides Imperial College London, UK, Theo Drane Intel Corporation, USA
Pre-print
16:00
15m
Talk
Colored E-Graph: Supporting Multiple Equivalence Relations with Resource SharingVirtual
EGRAPHS
Eytan Singher Technion - Israel Institute of Technology, Shachar Itzhaky Technion
16:15
15m
Talk
Toward a Unified Framework for Program Optimization, Bug-Finding, and Repair
EGRAPHS
Jordan Schmerge Colorado School of Mines, Jake Vossen Colorado School of Mines, Jedidiah McClurg Colorado School of Mines

Wed 15 Jun

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

03:30 - 04:30
ExtensionsEGRAPHS at Toucan
03:30
15m
Talk
On the Optimization of Equivalent Concurrent ComputationsVirtual
EGRAPHS
Henrich Lauko Trail of Bits, Lukáš Korenčik Trail of Bits, Peter Goodman Trail of Bits
03:45
15m
Talk
Abstract Interpretation on E-Graphs
EGRAPHS
Samuel Coward Imperial College London, UK, George A. Constantinides Imperial College London, UK, Theo Drane Intel Corporation, USA
Pre-print
04:00
15m
Talk
Colored E-Graph: Supporting Multiple Equivalence Relations with Resource SharingVirtual
EGRAPHS
Eytan Singher Technion - Israel Institute of Technology, Shachar Itzhaky Technion
04:15
15m
Talk
Toward a Unified Framework for Program Optimization, Bug-Finding, and Repair
EGRAPHS
Jordan Schmerge Colorado School of Mines, Jake Vossen Colorado School of Mines, Jedidiah McClurg Colorado School of Mines