## Sumit Gulwani, George C. Necula

*A Polynomial-Time Algorithm for Global Value Numbering*

SAS, 2004.

@inproceedings{SAS-2004-GulwaniN, author = "Sumit Gulwani and George C. Necula", booktitle = "{Proceedings of the 11th International Static Analysis Symposium}", doi = "10.1007/978-3-540-27864-1_17", isbn = "3-540-22791-1", pages = "212--227", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A Polynomial-Time Algorithm for Global Value Numbering}", volume = 3148, year = 2004, }