PLDI 2022 (series) / EGRAPHS 2022 (series) / EGRAPHS 2022 /
Toward a Unified Framework for Program Optimization, Bug-Finding, and Repair
Tue 14 Jun 2022 16:15 - 16:30 at Toucan - Extensions Chair(s): Zachary Tatlock
Wed 15 Jun 2022 04:15 - 04:30 at Toucan - Extensions
Wed 15 Jun 2022 04:15 - 04:30 at Toucan - Extensions
In this talk, we seek to demonstrate how the problems of optimization, bug-finding, and repair can be unified in a single e-graph-based framework, and show how this works with Egg and its explanations functionality. As with typical rewriting-based approaches, our framework takes advantage of the semantics-preserving rewrite rules a user may already know about, but we also leverage non-semantics-preserving rewrite rules. The talk will propose lightweight extensions to the e-graph data structure and explanations mechanism to natively support a high-performance version of our framework. Our current prototype shows promising results, and we would welcome discussion and feedback from the e-graphs community.
Tue 14 JunDisplayed time zone: Pacific Time (US & Canada) change
Tue 14 Jun
Displayed time zone: Pacific Time (US & Canada) change
15:30 - 16:30 | |||
15:30 15mTalk | On the Optimization of Equivalent Concurrent ComputationsVirtual EGRAPHS | ||
15:45 15mTalk | 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 15mTalk | Colored E-Graph: Supporting Multiple Equivalence Relations with Resource SharingVirtual EGRAPHS | ||
16:15 15mTalk | 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 JunDisplayed time zone: Pacific Time (US & Canada) change
Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change
03:30 - 04:30 | |||
03:30 15mTalk | On the Optimization of Equivalent Concurrent ComputationsVirtual EGRAPHS | ||
03:45 15mTalk | 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 15mTalk | Colored E-Graph: Supporting Multiple Equivalence Relations with Resource SharingVirtual EGRAPHS | ||
04:15 15mTalk | 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 |