Predicting Program Properties from "Big Code"
Large Margin Methods for Structured and Interdependent Output Variables