Automatic memory hierarchy characterization. - Clark L. Coleman; Jack W. Davidson (ISPASS, 2001)

Defense against the dark arts. - Mark W. Bailey; Clark L. Coleman; Jack W. Davidson (SIGCSE, 2008)

MEDS: The Memory Error Detection System. - Jason Hiser; Clark L. Coleman; Michele Co; Jack W. Davidson (ESSoS, 2009)

A Framework for Creating Binary Rewriting Tools (Short Paper). - Jason Hiser; Anh Nguyen-Tuong; Michele Co; Benjamin D. Rodes; Matthew Hall; Clark L. Coleman; John C. Knight; Jack W. Davidson (EDCC, 2014)

A System for the Security Protection of Embedded Binary Programs. - Jack W. Davidson; Jason D. Hiser; Anh Nguyen-Tuong; Clark L. Coleman; William H. Hawkins; John C. Knight; Benjamin D. Rodes; Ashlie B. Hocking (DSN Workshops, 2016)

A Proof Infrastructure for Binary Programs. - Ashlie B. Hocking; Benjamin D. Rodes; John C. Knight; Jack W. Davidson; Clark L. Coleman (NFM, 2016)