Veselin Raychev, Martin T. Vechev, Andreas Krause
Predicting Program Properties from “Big Code”
POPL, 2015.
@inproceedings{POPL-2015-RaychevVK,
author = "Veselin Raychev and Martin T. Vechev and Andreas Krause",
booktitle = "{Proceedings of the 42nd Symposium on Principles of Programming Languages}",
doi = "10.1145/2676726.2677009",
isbn = "978-1-4503-3300-9",
pages = "111--124",
publisher = "{ACM}",
title = "{Predicting Program Properties from “Big Code”}",
year = 2015,
}