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
Tue 14 Jun 2022
Wed 15 Jun 2022
Rooms
Toucan
Tracks
EGRAPHS
Badges
Virtual
Your Program
Nothing to filter
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 | ||