PLDI 2022 (series) / EGRAPHS 2022 (series) /
EGRAPHS 2022 Program
This is the EGRAPHS 2022 program - see the full program for PLDI 2022 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 14 JunDisplayed time zone: Pacific Time (US & Canada) change
Tue 14 Jun
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 10:00 | |||
09:00 5mDay opening | Welcome EGRAPHS Max Willsey University of Washington | ||
09:05 30mTalk | Sketch-Guided Equality Saturation EGRAPHS Thomas Koehler University of Glasgow Pre-print File Attached | ||
09:35 25mTalk | Synthesizing Mathematical Identities with E-graphs EGRAPHS Link to publication Pre-print | ||
10:30 - 12:00 | |||
10:30 15mTalk | Logging an Egg: Datalog on E-Graphs EGRAPHS Philip Zucker Draper Laboratory Pre-print Media Attached | ||
10:45 15mTalk | Chasing an egg EGRAPHS Yihong Zhang University of Washington Pre-print | ||
11:00 15mTalk | ECTAs: E-Graphs Better (at Encoding) EGRAPHS James Koppel Massachusetts Institute of Technology, USA, Zheng Guo University of California, San Diego, Edsko de Vries Well-Typed LLP, Armando Solar-Lezama Massachusetts Institute of Technology, Nadia Polikarpova University of California at San Diego | ||
11:15 15mTalk | E-Graphs, VSAs, and Tree Automata: a Rosetta StoneVirtual EGRAPHS Yisu Remy Wang University of Washington, James Koppel Massachusetts Institute of Technology, USA, Altan Haan OctoML, Josh Pollock MIT CSAIL Link to publication Pre-print | ||
11:30 15mTalk | Equality Saturation as a Tactic for Proof Assistants EGRAPHS | ||
11:45 15mTalk | Towards Optimising Certified Programs by Proof Rewriting EGRAPHS | ||
14:00 - 15:00 | |||
14:00 15mTalk | Quiche: A Python Implementation of E-Graphs EGRAPHS Rebecca Swords Unaffiliated | ||
14:15 15mTalk | Optimizing Large Integer Multiplier on FPGAs Using Equality SaturationVirtual EGRAPHS | ||
14:30 15mTalk | Wasm-mutate: Fuzzing WebAssembly Compilers with E-GraphsVirtual EGRAPHS Javier Cabrera Arteaga KTH Royal Institute of Technology, Nicholas Fitzgerald Fastly Inc., Martin Monperrus KTH Royal Institute of Technology, Benoit Baudry KTH Pre-print | ||
14:45 15mTalk | QuEgg: Automatic Optimization of Quantum Circuits Using Equality Graphs EGRAPHS Spencer King Unaffiliated | ||
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 | ||
21:00 - 22:00 | |||
21:00 5mDay opening | Welcome EGRAPHS Max Willsey University of Washington | ||
21:05 30mTalk | Sketch-Guided Equality Saturation EGRAPHS Thomas Koehler University of Glasgow Pre-print File Attached | ||
21:35 25mTalk | Synthesizing Mathematical Identities with E-graphs EGRAPHS Link to publication Pre-print | ||
22:30 - 00:00 | |||
22:30 15mTalk | Logging an Egg: Datalog on E-Graphs EGRAPHS Philip Zucker Draper Laboratory Pre-print Media Attached | ||
22:45 15mTalk | Chasing an egg EGRAPHS Yihong Zhang University of Washington Pre-print | ||
23:00 15mTalk | ECTAs: E-Graphs Better (at Encoding) EGRAPHS James Koppel Massachusetts Institute of Technology, USA, Zheng Guo University of California, San Diego, Edsko de Vries Well-Typed LLP, Armando Solar-Lezama Massachusetts Institute of Technology, Nadia Polikarpova University of California at San Diego | ||
23:15 15mTalk | E-Graphs, VSAs, and Tree Automata: a Rosetta StoneVirtual EGRAPHS Yisu Remy Wang University of Washington, James Koppel Massachusetts Institute of Technology, USA, Altan Haan OctoML, Josh Pollock MIT CSAIL Link to publication Pre-print | ||
23:30 15mTalk | Equality Saturation as a Tactic for Proof Assistants EGRAPHS | ||
23:45 15mTalk | Towards Optimising Certified Programs by Proof Rewriting EGRAPHS | ||
Wed 15 JunDisplayed time zone: Pacific Time (US & Canada) change
Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change
02:00 - 03:00 | |||
02:00 15mTalk | Quiche: A Python Implementation of E-Graphs EGRAPHS Rebecca Swords Unaffiliated | ||
02:15 15mTalk | Optimizing Large Integer Multiplier on FPGAs Using Equality SaturationVirtual EGRAPHS | ||
02:30 15mTalk | Wasm-mutate: Fuzzing WebAssembly Compilers with E-GraphsVirtual EGRAPHS Javier Cabrera Arteaga KTH Royal Institute of Technology, Nicholas Fitzgerald Fastly Inc., Martin Monperrus KTH Royal Institute of Technology, Benoit Baudry KTH Pre-print | ||
02:45 15mTalk | QuEgg: Automatic Optimization of Quantum Circuits Using Equality Graphs EGRAPHS Spencer King Unaffiliated | ||
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 | ||