Formal Semantics of Heterogeneous CUDA-C: A Modular Approach with Applications - Chris Hathhorn; Michela Becchi; William L. Harrison; Adam M. Procter (SSV, 2012)

Engineering a compiler, second edition by Keith D. Cooper and Linda Torczon (Review). - Chris Hathhorn (ACM SIGSOFT Softw. Eng. Notes, 2012)

Defining the undefinedness of C. - Chris Hathhorn; Chucky Ellison; Grigore Rosu (PLDI, 2015)

RV-Match: Practical Semantics-Based Program Analysis. - Dwight Guth; Chris Hathhorn; Manasvi Saxena; Grigore Rosu (CAV (1), 2016)

Runtime Verification at Work: A Tutorial. - Philip Daian; Dwight Guth; Chris Hathhorn; Yilong Li; Edgar Pek; Manasvi Saxena; Traian-Florin Serbanuta; Grigore Rosu (RV, 2016)

Dealing With C's Original Sin. - Chris Hathhorn; Grigore Rosu (IEEE Softw., 2019)

A Mechanized Semantic Metalanguage for High Level Synthesis. - William L. Harrison; Chris Hathhorn; Gerard Allwein (PPDP, 2021)

VAC: A Software Approach to Resilient SCADA Automation. - Jordan Johnson; Brian Weber; Jared M. Smith; Chris Hathhorn; Philip Irminger; Savannah Norem; Jennifer Guerra; Joel A. Dawson; Tyler McDaniel (ISGT, 2022)

Formalized High Level Synthesis with Applications to Cryptographic Hardware. - William L. Harrison; Ian Blumenfeld; Eric Bond; Chris Hathhorn; Paul Li; May Torrence; Jared Ziegler (NFM, 2023)

An End-to-End Framework for Verifying and Validating Manufacturing Design Integrity. - Matthew Jablonski; Kyle Everett; Gabriela F. Ciocarlie; Zoran Duric; Chris Hathhorn; Jeffrey C. Kimmell; Vladimir Orlyanchik; John Prevost; Gordon Robertson; Curtis Taylor; Duminda Wijesekera; Kyle Saleeby (Critical Infrastructure Protection, 2024)