Chris Hathhorn

From FSL

Revision as of 22:43, 1 October 2016 by Grosu (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to: navigation, search

Chris Hathhorn is a PhD student at the University of Missouri.

Runtime Verification at Work: A Tutorial: Philip Daian and Dwight Guth and Chris Hathhorn and Yilong Li and Edgar Pek and Manasvi Saxena and Traian Florin Serbanuta and Grigore Rosu
RV'16, LNCS 10012, pp 46-67. 2016
PDF, Slides(PPTX), RV Products, DOI, RV'16, BIB
RV-Match: Practical Semantics-Based Program Analysis: Dwight Guth and Chris Hathhorn and Manasvi Saxena and Grigore Rosu
CAV'16, LNCS 9779, pp 447-453. 2016
PDF, RV-Match, DOI, CAV'16, BIB
Defining the Undefinedness of C: Chris Hathhorn and Chucky Ellison and Grigore Rosu
PLDI'15, ACM, pp 336-345. 2015
PDF, C Semantics, DOI, PLDI'15, BIB

Retrieved from "http://fsl.cs.illinois.edu/index.php?title=Chris_Hathhorn&oldid=18143"

Personal tools

Log in