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 work is neither sound nor precise. I am horrified by the prospect of having an unsound point-to analysis, but the author rightly points to some justifications.

Leave a Reply

Your email address will not be published.

This site uses Akismet to reduce spam. Learn how your comment data is processed.