Program analysis and machine learning: A win-win deal
AV Nori, SK Rajamani - … Analysis: 18th International Symposium, SAS 2011 …, 2011 - Springer
Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011•Springer
We give an account of our experiences working at the intersection of two fields: program
analysis and machine learning. In particular, we show that machine learning can be used to
infer annotations for program analysis tools, and that program analysis techniques can be
used to improve the efficiency of machine learning tools.
analysis and machine learning. In particular, we show that machine learning can be used to
infer annotations for program analysis tools, and that program analysis techniques can be
used to improve the efficiency of machine learning tools.
Abstract
We give an account of our experiences working at the intersection of two fields: program analysis and machine learning. In particular, we show that machine learning can be used to infer annotations for program analysis tools, and that program analysis techniques can be used to improve the efficiency of machine learning tools.
Springer
Showing the best result for this search. See all results