by V. Raychev, M. Vechev, A. Krause

Reference:

Predicting Program Properties from Big Code V. Raychev, M. Vechev, A. KrauseIn In Proc. ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2015Awarded SIGPLAN Research Highlight

Bibtex Entry:

@inproceedings{raychev15predicting,
	author = {Veselin Raychev and Martin Vechev and Andreas Krause},
	booktitle = {In Proc. ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)},
	month = {January},
	title = {Predicting Program Properties from Big Code},
	year = {2015}}