Colored E-Graph: Supporting Multiple Equivalence Relations with Resource Sharing (EGRAPHS 2022) - PLDI 2022

Mon 13 - Fri 17 June 2022 San Diego, California, United States

Who

Eytan Singher, Shachar Itzhaky

Track

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

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

Abstract

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}.

Eytan Singher

Technion - Israel Institute of Technology

Shachar Itzhaky

Technion

Israel

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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