How can machine learning assist with program analysis? What can we learn from millions of lines of code? Combining the world of formal analysis with learned statistical models has been yielding increasingly useful results. In this talk, I will give a brief overview of the area and some recent work, and discuss the research and practical challenges in this interdisciplinary area.

Related Links

• A survey of the broader area here.
• The Deep Program Understanding group in Microsoft Research, Cambridge.