Communications of the ACM

Technical Perspective: Making Equality Saturation Usable for Developing Vectorized Compilers

"Automatic Generation of Vectorizing Compilers for Customizable Digital Signal Processors," by Thomas and Bornholt, uses a ...