Chris Hathhorn

According to our database, Chris Hathhorn authored at least 10 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Proceedings of the Critical Infrastructure Protection XVIII, 2024

2023

Formalized High Level Synthesis with Applications to Cryptographic Hardware.

William L. Harrison, Ian Blumenfeld, Eric Bond, Chris Hathhorn, Paul Li, May Torrence, Jared Ziegler

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2022

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

Proceedings of the 2022 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2022

2021

A Mechanized Semantic Metalanguage for High Level Synthesis.

William L. Harrison, Chris Hathhorn, Gerard Allwein

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

2019

Dealing With C's Original Sin.

Chris Hathhorn, Grigore Rosu

IEEE Softw., 2019

2016

Runtime Verification at Work: A Tutorial.

Philip Daian, Dwight Guth, Chris Hathhorn, Yilong Li, Edgar Pek, Manasvi Saxena, Traian-Florin Serbanuta, Grigore Rosu

Proceedings of the Runtime Verification - 16th International Conference, 2016

RV-Match: Practical Semantics-Based Program Analysis.

Dwight Guth, Chris Hathhorn, Manasvi Saxena, Grigore Rosu

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Defining the undefinedness of C.

Chris Hathhorn, Chucky Ellison, Grigore Rosu

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2012

Engineering a compiler, second edition by Keith D. Cooper and Linda Torczon (Review).

Chris Hathhorn

ACM SIGSOFT Softw. Eng. Notes, 2012

Formal Semantics of Heterogeneous CUDA-C: A Modular Approach with Applications

Chris Hathhorn, Michela Becchi, William L. Harrison, Adam M. Procter

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012