Chris Hathhorn

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 6

Top Topics

Face Verification

Software Evolution

Random Number Generator

Practical Application

Top Venues

Publications

William L. Harrison, Ian Blumenfeld, Eric Bond, Chris Hathhorn, Paul Li, May Torrence, Jared Ziegler
Formalized High Level Synthesis with Applications to Cryptographic Hardware. NFM (2023)
Jordan Johnson, Brian Weber, Jared M. Smith, Chris Hathhorn, Philip Irminger, Savannah Norem, Jennifer Guerra, Joel Dawson, Tyler McDaniel
VAC: A Software Approach to Resilient SCADA Automation. ISGT (2022)
William L. Harrison, Chris Hathhorn, Gerard Allwein
A Mechanized Semantic Metalanguage for High Level Synthesis. PPDP (2021)
Chris Hathhorn, Grigore Rosu
Dealing With C's Original Sin. IEEE Softw. 36 (5) (2019)
Dwight Guth, Chris Hathhorn, Manasvi Saxena, Grigore Rosu
RV-Match: Practical Semantics-Based Program Analysis. CAV (1) (2016)
Philip Daian, Dwight Guth, Chris Hathhorn, Yilong Li, Edgar Pek, Manasvi Saxena, Traian-Florin Serbanuta, Grigore Rosu
Runtime Verification at Work: A Tutorial. RV (2016)
Chris Hathhorn, Chucky Ellison, Grigore Rosu
Defining the undefinedness of C. PLDI (2015)
Chris Hathhorn, Michela Becchi, William L. Harrison, Adam M. Procter
Formal Semantics of Heterogeneous CUDA-C: A Modular Approach with Applications SSV (2012)
Chris Hathhorn
Engineering a compiler, second edition by Keith D. Cooper and Linda Torczon. ACM SIGSOFT Softw. Eng. Notes 37 (1) (2012)