Programming languages with machine learning techniques

This page will be actively maintained as a little survey. Any work that solves programming language problems with machine learning techniques counts. PLDI 2018 User-Guided Program Reasoning using Bayesian Inference: static analysis based bug checker + Bayesian inference. Active Learning of Points-To Specifications: point to analysis + active learning. This …