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.
Wed 23 Oct Times are displayed in time zone: (GMT+03:00) Beirut change
|16:00 - 16:45|
Miltiadis AllamanisMicrosoft Research, Cambridge
|16:45 - 17:30|
Thierry MoreauUniversity of Washington