Python probabilistic type inference with natural language support
Predicting Program Properties from "Big Code"