Chucky Ellison

From K Framework

Chucky Ellison is a PhD candidate at the University of Illinois at Urbana-Champaign working with prof. Grigore Rosu.

Role in the K Framework Project

Working on the semantics of C.

Gave formal semantics to a number of esoteric languages including BF and Befunge.

Involved in the Matching Logic project.

[edit] Publications Related to the K Framework

Defining the Undefinedness of C 

Chucky Ellison and Grigore Rosu
Technical Report http://hdl.handle.net/2142/30780, April 2012
PDF, TR@UIUC, BIB

The K Primer (version 2.5) 

Traian Florin Serbanuta, Andrei Arusoaie, David Lazar, Chucky Ellison, Dorel Lucanu and Grigore Rosu
Technical Report, January 2012
PDF, K 2.5, BIB

Making Maude Definitions more Interactive 

Andrei Arusoaie, Traian Florin Serbanuta, Chucky Ellison and Grigore Rosu
WRLA'12, LNCS, to appear
PDF, Slides (PDF), WRLA'12, BIB

An Executable Formal Semantics of C with Applications 

Chucky Ellison and Grigore Rosu
POPL'12, ACM, pp 533-544. 2012
PDF, Slides(PDF), Project, ACM, POPL'12, DBLP, BIB

An Executable Formal Semantics of C with Applications 

Chucky Ellison and Grigore Rosu
Technical Report http://hdl.handle.net/2142/25816, July 2011
PDF, Coverage Results, Project, TR@UIUC, SVN, BIB

On Compiling Rewriting Logic Language Definitions into Competitive Interpreters 

Michael Ilseman, Chucky Ellison and Grigore Rosu
Technical Report http://hdl.handle.net/2142/17444, December 2010
PDF, TR@UIUC, Compiler Webpage, BIB

A Formal Semantics of C with Applications 

Chucky Ellison and Grigore Rosu
Technical Report http://hdl.handle.net/2142/17414, November 2010
PDF, Correctness Results, Coverage Results, Project, TR@UIUC, BIB

Matching Logic: An Alternative to Hoare/Floyd Logic 

Grigore Rosu, Chucky Ellison and Wolfram Schulte
AMAST'10, LNCS 6486, pp 142-162. 2010
PDF, Slides(PPT), Slides(PDF), LNCS, AMAST'10, BIB

A Rewriting Logic Approach to Type Inference 

Chucky Ellison, Traian Florin Serbanuta and Grigore Rosu
WADT'08, LNCS 5486, pp 135-151. 2009
PDF, Slides(PDF), LNCS, WADT'08, BIB

From Rewriting Logic Executable Semantics to Matching Logic Program Verification 

Grigore Rosu, Chucky Ellison and Wolfram Schulte
Technical Report http://hdl.handle.net/2142/13159, July 2009
PDF, TR@UIUC, BIB

A Rewriting Logic Approach to Defining Type Systems 

Chucky Ellison
Master's Thesis
PDF, TR@UIUC, BIB

A Rewriting Logic Approach to Type Inference 

Chucky Ellison, Traian Florin Serbanuta and Grigore Rosu
Technical report UIUCDCS-R-2008-2934, March 2008
PDF, TR@UIUC, BIB