Ensuring Correctness of Compiled Code. - Ganna Zaks (2009)