Sumit Gulwani, George C. Necula
Discovering affine equalities using random interpretation
POPL, 2003.
@inproceedings{POPL-2003-GulwaniN, author = "Sumit Gulwani and George C. Necula", booktitle = "{Conference Record of the 30th Symposium on Principles of Programming Languages}", doi = "10.1145/640128.604138", editor = "Alex Aiken and Greg Morrisett", isbn = "1-58113-628-5", pages = "74--84", publisher = "{ACM}", title = "{Discovering affine equalities using random interpretation}", year = 2003, }