Predicting Program Properties from Big Code
sri.inf.ethz.ch