Vectorization for Digital Signal Processors via Equality Saturation [pdf]cs.cornell.edu4 pointsmatt_d5 years ago