Chucky Ellison
Chucky Ellison
PhD Graduate from University of Illinois
Verified email at illinois.edu - Homepage
Title
Cited by
Cited by
Year
An executable formal semantics of C with applications
C Ellison, G Rosu
ACM SIGPLAN Notices 47 (1), 533-544, 2012
2512012
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
1822012
Defining the undefinedness of C
C Hathhorn, C Ellison, G Roşu
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
1092015
Matching logic: An alternative to Hoare/Floyd logic
G Roşu, C Ellison, W Schulte
Algebraic Methodology and Software Technology, 142-162, 2011
932011
A formal semantics of C with applications
C Ellison
University of Illinois at Urbana-Champaign, 2012
422012
A rewriting logic approach to type inference
C Ellison, T Şerbănuţă, G Roşu
Recent Trends in Algebraic Development Techniques, 135-151, 2009
332009
The K Primer (version 3.3).
TF Serbanuta, A Arusoaie, D Lazar, C Ellison, D Lucanu, G Rosu
Electron. Notes Theor. Comput. Sci. 304, 57-80, 2014
29*2014
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
14*2012
The K primer (version 2.5)
TF Serbanuta, A Arusoaie, D Lazar, C Ellison, D Lucanu, G Rosu
K 11, 2012
122012
Defining the undefinedness of C
CM Ellison, G Rosu
112012
A rewriting logic approach to defining type systems
C Ellison
University of Illinois, 2008
72008
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
52012
The K primer (version 2.5)
TF Şerbănuţă, A Arusoaie, D Lazar, C Ellison, D Lucanu, G Roşu
Proceedings of the 2nd Intl. K Wkshp.(K 2011). Electronic Notes in …, 2013
42013
On compiling rewriting logic language definitions into competitive interpreters
M Ilseman, C Ellison, G Rosu
12010
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–15