@Article{Tate2009,
author = {Tate, R and Stepp, M and Tatlock, Z and Lerner, S}, 
title = {Equality saturation: a new approach to optimization}, 
journal = {ACM SIGPLAN Notices}, 
volume = {44}, 
number = {1}, 
pages = {264--276}, 
year = {2009}, 
abstract = {}, 
location = {}, 
keywords = {}}

{"_id":"egZ8Wpd2pJm6q5oWE","bibbaseid":"tate-stepp-tatlock-lerner-equalitysaturationanewapproachtooptimization-2009","authorIDs":[],"author_short":["Tate, R","Stepp, M","Tatlock, Z","Lerner, S"],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Tate"],"firstnames":["R"],"suffixes":[]},{"propositions":[],"lastnames":["Stepp"],"firstnames":["M"],"suffixes":[]},{"propositions":[],"lastnames":["Tatlock"],"firstnames":["Z"],"suffixes":[]},{"propositions":[],"lastnames":["Lerner"],"firstnames":["S"],"suffixes":[]}],"title":"Equality saturation: a new approach to optimization","journal":"ACM SIGPLAN Notices","volume":"44","number":"1","pages":"264–276","year":"2009","abstract":"","location":"","keywords":"","bibtex":"@Article{Tate2009,\nauthor = {Tate, R and Stepp, M and Tatlock, Z and Lerner, S}, \ntitle = {Equality saturation: a new approach to optimization}, \njournal = {ACM SIGPLAN Notices}, \nvolume = {44}, \nnumber = {1}, \npages = {264--276}, \nyear = {2009}, \nabstract = {}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["Tate, R","Stepp, M","Tatlock, Z","Lerner, S"],"key":"Tate2009","id":"Tate2009","bibbaseid":"tate-stepp-tatlock-lerner-equalitysaturationanewapproachtooptimization-2009","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:34.489Z","downloads":0,"keywords":[],"search_terms":["equality","saturation","new","approach","optimization","tate","stepp","tatlock","lerner"],"title":"Equality saturation: a new approach to optimization","year":2009,"dataSources":["hEoKh4ygEAWbAZ5iy"]}