“…Machine Learning for Program Analysis. Machine learning has been shown to be extremely promising in analyzing both source code and executables [3,24,62,74] in tasks like type inference [36,38,56,61,64,70,94], code completion [10,17,44], program synthesis and generation [79,89], program repair and fix [2,26,42,80,90,99], code summarization [14,21,75,84], general code representation [13,40,50,52,91], bug/vulnerability detection [23,47,63,73,87], code clone detection and search [14,32,33,43,54,66], code translation [72], comment suggestion [41,51], and reverse engineering tasks [7,9,…”