1. The TPTP Problem Library and Associated Infrastructure

   • Geoff Sutcliffe

   OriginalPaper 22 July 2009 Pages: 337 - 362

2. A Formally Verified Compiler Back-end

   • Xavier Leroy

   OriginalPaper 04 November 2009 Pages: 363 - 446