A Differential Approach to Undefined Behavior Detection. - Xi Wang; Zeldovich, Nickolai; Kaashoek, M. Frans; Solar-Lezama, Armando (Communications of the ACM, 2016)