QuEgg: Automatic Optimization of Quantum Circuits Using Equality Graphs (EGRAPHS 2022) - PLDI 2022

Mon 13 - Fri 17 June 2022 San Diego, California, United States

Track

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

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

Abstract

One of the primary models for quantum computing involves constructing circuits from logical gates. It is possible to simplify circuits based on identities, however most compilers today focus on mapping circuits to specific quantum devices. This paper proposes QuEgg, a circuit optimizer constructed by reviewing the literature for known circuit identities.

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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

Spencer King

Unaffiliated