Sumit Gulwani, George C. Necula. A polynomial-time algorithm for global value numbering. Science of Computer Programming, 64(1):97-114, 2007. [doi]
@article{GulwaniN07, title = {A polynomial-time algorithm for global value numbering}, author = {Sumit Gulwani and George C. Necula}, year = {2007}, doi = {10.1016/j.scico.2006.03.005}, url = {http://dx.doi.org/10.1016/j.scico.2006.03.005}, tags = {C++}, researchr = {https://researchr.org/publication/GulwaniN07}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {64}, number = {1}, pages = {97-114}, }