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

It is well-known that e-graphs are powerful formalism for reasoning in theories with equality. In this talk, we propose an extension to the e-graph implementation in e.g.@ egg~\cite{egg} in order to allow reasoning with some Boolean structure—specifically, logical implication. The implication connective is imperative in some situations, esp.@ when an automated tool is required to reason with one or more \emph{assumptions}.

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