Follow
Chucky Ellison
Chucky Ellison
PhD Graduate from University of Illinois
Verified email at freefour.com - Homepage
Title
Cited by
Cited by
Year
Test-case reduction for C compiler bugs
J Regehr, Y Chen, P Cuoq, E Eide, C Ellison, X Yang
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012
3482012
An executable formal semantics of C with applications
C Ellison, G Rosu
ACM SIGPLAN Notices 47 (1), 533-544, 2012
3252012
Defining the undefinedness of C
C Hathhorn, C Ellison, G Roşu
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
1802015
Matching logic: An alternative to Hoare/Floyd logic
G Roşu, C Ellison, W Schulte
Algebraic Methodology and Software Technology, 142-162, 2011
1022011
The K Primer (version 3.3).
TF Serbanuta, A Arusoaie, D Lazar, C Ellison, D Lucanu, G Rosu
K, 57-80, 2011
53*2011
A formal semantics of C with applications
CME Ellison III
University of Illinois at Urbana-Champaign, 2012
512012
A rewriting logic approach to type inference
C Ellison, T Şerbănuţă, G Roşu
Recent Trends in Algebraic Development Techniques, 135-151, 2009
282009
Executing Formal Semantics with the K Tool
D Lazar, A Arusoaie, T Şerbǎnuţǎ, C Ellison, R Mereuta, D Lucanu, ...
FM 2012: Formal Methods, 267-271, 2012
152012
Defining the undefinedness of C
CM Ellison, G Rosu
122012
A rewriting logic approach to defining type systems
C Ellison
University of Illinois, 2008
52008
Making Maude definitions more interactive
A Arusoaie, TF Şerbănuţă, C Ellison, G Roşu
International Workshop on Rewriting Logic and its Applications, 83-98, 2012
42012
On compiling rewriting logic language definitions into competitive interpreters
M Ilseman, C Ellison, G Rosu
12010
A Rewriting Logic Approach to Type Inference: Technical Report
CM Ellison, T Serbanuta, G Rosu
2008
On RDBMS-Integrated Disk-Based Architecture for Managing Massive Dormant Data in a Compressed Format
M Dzakovic, CM Ellison
Fourth International Workshop on Storage Network Architecture and Parallel I …, 2004
2004
The system can't perform the operation now. Try again later.
Articles 1–14