Trustworthy CompilersPublished Online: 8 FEB 2010