As-If Infinitely Ranged Integer Model. - Roger B. Dannenberg; Will Dormann; David Keaton; Robert C. Seacord; David Svoboda; Alex Volkovitsky; Timothy Wilson; Thomas Plum 003 (ISSRE, 2010)

Panel on compiler certification: should we trust our compiler? - Lennart Beringer; Randall Brukardt; Thomas Plum 003; S. Tucker Taft (HILT, 2012)