Modeling Undefined Behaviour Semantics for Checking Equivalence Across Compiler Optimizations. - Dahiya, Manjeet; Bansal, Sorav (2017)