Quiche: A Python Implementation of E-Graphs
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 JunDisplayed time zone: Pacific Time (US & Canada) change
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 |
Wed 15 JunDisplayed 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 |