Statistics
Publications
2
Citations
128
H-Index
2
Active since
2015
Affiliations
Chris Hathhorn is an author at University of Illinois Urbana-Champaign specializing in control-flow analysis, type systems, and programming languages.
Publications per year
2015–2015
2
2
Defining the undefinedness of C
Chris Hathhorn, Chucky Ellison, Grigore Roşu · 2015 · 103 citations
Defining the undefinedness of C
Chris Hathhorn, Chucky Ellison, Grigore Roşu · ACM SIGPLAN Notices · 2015 · 25 citations
1–2 of 2