Statistics
Publications
8
Citations
857
H-Index
8
Active since
1975
Chucky Ellison is an author at University of Illinois System specializing in computer science, computing, and programming languages.
Publications per year
1975–2015
8
8
Test-case reduction for C compiler bugs
John Regehr, Yang Chen, Pascal Cuoq et al. · 2012 · 294 citations
An executable formal semantics of C with applications
Chucky Ellison, Grigore Roşu · ACM SIGPLAN Notices · 2012 · 185 citations
An executable formal semantics of C with applications
Chucky Ellison, Grigore Roşu · 2012 · 165 citations
Defining the undefinedness of C
Chris Hathhorn, Chucky Ellison, Grigore Roşu · 2015 · 103 citations
Test-case reduction for C compiler bugs
John Regehr, Yang Chen, Pascal Cuoq et al. · ACM SIGPLAN Notices · 2012 · 52 citations
1–5 of 8