C
Chris Hathhorn
Researcher at University of Missouri
Publications - 9
Citations - 159
Chris Hathhorn is an academic researcher from University of Missouri. The author has contributed to research in topics: Undefined behavior & Formal semantics (linguistics). The author has an hindex of 5, co-authored 7 publications receiving 141 citations. Previous affiliations of Chris Hathhorn include University of Illinois at Urbana–Champaign.
Papers
More filters
Proceedings ArticleDOI
Defining the undefinedness of C
TL;DR: It is argued that this work is the most comprehensive and complete semantic treatment of undefined behavior in C, and thus of the C language itself.
Book ChapterDOI
RV-match: Practical semantics-based program analysis
TL;DR: RV-Match, a tool for checking C programs for undefined behavior and other common programmer mistakes, is presented, extracted from the most complete formal semantics of the C11 language.
Journal ArticleDOI
Engineering a compiler, second edition by Keith D. Cooper and Linda Torczon
TL;DR: The organization and coverage of Engineering a Compiler, Second Edition, place it firmly in the genre of undergraduate compilers textbooks, and the authors do a good job of making the theory accessible even to beginning students.
Book ChapterDOI
Runtime Verification at Work: A Tutorial
Philip Daian,Dwight Guth,Chris Hathhorn,Yilong Li,Edgar Pek,Manasvi Saxena,Traian Florin Şerbănuţă,Grigore Rosu +7 more
TL;DR: A suite of runtime verification tools developed by Runtime Verification Inc.: RV-Match, RV-Predict, and RV-Monitor, which are perhaps the only tool that is both sound and maximal.
Journal ArticleDOI
Formal Semantics of Heterogeneous CUDA-C: A Modular Approach with Applications
TL;DR: An off-the-shelf, executable formal semantics of C (Ellison and Rosu's K Framework semantics) is extended with the core features of CUDA-C and it is argued that its extensibility can easily enable a wider range of verification tasks.