notesum.ai

Published at November 17

Scaling Program Synthesis Based Technology Mapping with Equality Saturation

cs.PL
cs.AR

Released Date: November 17, 2024

Authors: Gus Henry Smith1, Colin Knizek2, Daniel Petrisko1, Zachary Tatlock1, Jonathan Balkind3, Gilbert Louis Bernstein1, Haobin Ni1, Chandrakana Nandi1

Aff.: 1University of Washington; 2University of California, Berkeley; 3University of California, Santa Barbara

Arxiv: http://arxiv.org/abs/2411.11036v2