Equality saturation: a new approach to optimization.

Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner

Browse the full POPL paper archive.