Tue 14 Jun 2022 14:00 - 14:15 at Toucan - Applications Chair(s): Chandrakana Nandi
Wed 15 Jun 2022 02:00 - 02:15 at Toucan - Applications

Recent advances in e-graph algorithms to enable better performance and greater extensibility have generated new interest in applying e-graphs to a variety of domains. This interest is heavily supported by egg, a flexible, high-performance, open-source Rust implementation of e-graphs. In this talk, we present Quiche, an e-graph library inspired by egg, implemented in Python. While one could use egg through Python’s FFI as in snake-egg, Quiche allows programmers to natively use e-graphs in a familiar Python environment and provides dedicated support for e-graphs over Python’s built-in AST manipulation facilities. Additionally, Quiche introduces a novel approach for converting tree structures into e-graphs without relying on a formal grammar specification as egg does.

Tue 14 Jun

Displayed time zone: Pacific Time (US & Canada) change

14:00 - 15:00
ApplicationsEGRAPHS at Toucan +12h
Chair(s): Chandrakana Nandi Certora, inc.
14:00
15m
Talk
Quiche: A Python Implementation of E-Graphs
EGRAPHS
Rebecca Swords Unaffiliated
14:15
15m
Talk
Optimizing Large Integer Multiplier on FPGAs Using Equality SaturationVirtual
EGRAPHS
Ecenur Ustun Cornell University, Jiaqi Yin University of Utah, Zhiru Zhang Cornell University, USA
14:30
15m
Talk
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
15m
Talk
QuEgg: Automatic Optimization of Quantum Circuits Using Equality Graphs
EGRAPHS
Spencer King Unaffiliated

Wed 15 Jun

Displayed time zone: Pacific Time (US & Canada) change

02:00 - 03:00
ApplicationsEGRAPHS at Toucan
02:00
15m
Talk
Quiche: A Python Implementation of E-Graphs
EGRAPHS
Rebecca Swords Unaffiliated
02:15
15m
Talk
Optimizing Large Integer Multiplier on FPGAs Using Equality SaturationVirtual
EGRAPHS
Ecenur Ustun Cornell University, Jiaqi Yin University of Utah, Zhiru Zhang Cornell University, USA
02:30
15m
Talk
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
15m
Talk
QuEgg: Automatic Optimization of Quantum Circuits Using Equality Graphs
EGRAPHS
Spencer King Unaffiliated