This program is tentative and subject to change.

Thu 18 Jun 2026 15:00 - 15:20 at Flatirons 4 - Equality Saturation

Redundancy elimination is a key optimization direction, and loop nests are the main optimization target in modern compilers. Previous work on redundancy elimination of array computations in loop nests either targets specific computation patterns or fails to recognize redundancies with complex structures. This paper proposes RACE (Redundant Array Computation Elimination), a hash-based technique that utilizes a novel two-level scheme to identify the data reuse between array references and the computation redundancies between expressions, enabling hierarchical redundancy detection beyond pattern-specific methods. It traverses the expression trees in loop nests to detect redundancies hierarchically in linear time and generates efficient code with optimized auxiliary arrays that store redundant computation results. Furthermore, RACE supports the expression reassociation with various aggressive strategies to improve the redundancy opportunities. Experimental results demonstrate the effectiveness of RACE.

This program is tentative and subject to change.

Thu 18 Jun

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

13:40 - 15:20
Equality SaturationPLDI Research Papers at Flatirons 4
13:40
20m
Talk
Versioned E-Graphs
PLDI Research Papers
Jahrim Gabriele Cesario University of St. Gallen, George Zakhour University of St. Gallen, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen
DOI
14:00
20m
Talk
Improving Equality Saturation for EDA via Semantic E-Graphs
PLDI Research Papers
Sijie Kong University of California at Santa Barbara, Jingtao Xia University of California at Santa Barbara, Daniel Ruelas-Petrisko University of Washington, Zachary D. Sisco Chinese University of Hong Kong, Jonathan Balkind University of California at Santa Barbara, Gus Henry Smith Southmountain Research
DOI
14:20
20m
Talk
Equality Saturation for Quantum Circuit Optimization
PLDI Research Papers
Ganxiang Yang Columbia University, Paige Raun University of Maryland, Runzhou Tao University of Maryland, Ronghui Gu Columbia University; CertiK
DOI
14:40
20m
Talk
Fungible Memories for Automated Technology Mapping and Retargeting
PLDI Research Papers
Zachary D. Sisco Chinese University of Hong Kong, Sijie Kong University of California at Santa Barbara, Daniel Ruelas-Petrisko University of Washington, Jingtao Xia University of California at Santa Barbara, Julian Springer TU Berlin, Varun Rao University of California at Berkeley, Spencer Wang University of California at Santa Barbara, Gus Henry Smith Southmountain Research, Ben Hardekopf University of California at Santa Barbara, Jonathan Balkind University of California at Santa Barbara
DOI
15:00
20m
Talk
Redundant Array Computation Elimination
PLDI Research Papers
Zixuan Wang Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Liang Yuan Institute of Computing Technology at Chinese Academy of Sciences, Xianmeng Jiang Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Kun Li Institute of Computing Technology at Chinese Academy of Sciences, Junmin Xiao Institute of Computing Technology at Chinese Academy of Sciences, Yunquan Zhang Institute of Computing Technology at Chinese Academy of Sciences
DOI