Chris Hathhorn

Orcid: 0000-0002-6277-3987

According to our database1, Chris Hathhorn authored at least 9 papers between 2012 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Formalized High Level Synthesis with Applications to Cryptographic Hardware.
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2022
VAC: A Software Approach to Resilient SCADA Automation.
Proceedings of the 2022 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2022

2021
A Mechanized Semantic Metalanguage for High Level Synthesis.
Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

2019
Dealing With C's Original Sin.
IEEE Softw., 2019

2016
Runtime Verification at Work: A Tutorial.
Proceedings of the Runtime Verification - 16th International Conference, 2016

RV-Match: Practical Semantics-Based Program Analysis.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015
Defining the undefinedness of C.
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).
ACM SIGSOFT Softw. Eng. Notes, 2012

Formal Semantics of Heterogeneous CUDA-C: A Modular Approach with Applications
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012


  Loading...