Equality saturation: a new approach to optimization

Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner. Equality saturation: a new approach to optimization. In Zhong Shao, Benjamin C. Pierce, editors, Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009. pages 264-276, ACM, 2009. [doi]

Authors

Ross Tate

This author has not been identified. Look up 'Ross Tate' in Google

Michael Stepp

This author has not been identified. Look up 'Michael Stepp' in Google

Zachary Tatlock

This author has not been identified. Look up 'Zachary Tatlock' in Google

Sorin Lerner

Identified as Sorin Lerner