by , ,
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}}