@inproceedings{Gulwani_2004,
    doi = {10.1145/964001.964030},
    url = {https://doi.org/10.1145%2F964001.964030},
    year = {2004},
    month = {jan},
    publisher = {{ACM}},
    author = {Sumit Gulwani and George C. Necula},
    title = {Global value numbering using random interpretation},
    booktitle = {Proceedings of the 31st {ACM} {SIGPLAN}-{SIGACT} symposium on Principles of programming languages}
}

@inproceedings{Gulwani_2004, doi = {10.1145/964001.964030}, url = {https://doi.org/10.1145%2F964001.964030}, year = {2004}, month = {jan}, publisher = {{ACM}}, author = {Sumit Gulwani and George C. Necula}, title = {Global value numbering using random interpretation}, booktitle = {Proceedings of the 31st {ACM} {SIGPLAN}-{SIGACT} symposium on Principles of programming languages} }