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

Large integer multiplication is becoming a major challenge for accelerating cryptographic applications on FPGAs. Existing techniques for decomposing and optimizing large integer multiplication bring about nontrivial trade-offs between different resource types as well as performance. In this work, we regard determining the level and order of multiplication decomposition as a phase ordering problem and leverage equality saturation to automatically produce a wide range of equivalent integer multiplication expressions with various hardware costs. We devise ILP-based extraction techniques with multiple objectives to automatically choose the optimal expressions based on the application requirements. Our framework offers significant control over resource utilization and balance, and it increases the maximum number of instances of cryptographic applications on FPGA.

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