Learning to find naming issues with big code and small supervision.
Jingxuan He, Cheng-Chun Lee, Veselin Raychev, Martin T. Vechev
Browse the full PLDI paper archive.
Jingxuan He, Cheng-Chun Lee, Veselin Raychev, Martin T. Vechev
Browse the full PLDI paper archive.