Chucky Ellison

According to our database, Chucky Ellison authored at least 9 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Defining the undefinedness of C.

Chris Hathhorn, Chucky Ellison, Grigore Rosu

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2012

A formal semantics of C with applications

Chucky Ellison

PhD thesis, 2012

Making Maude Definitions More Interactive.

Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Grigore Rosu

Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

An executable formal semantics of C with applications.

Chucky Ellison, Grigore Rosu

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Test-case reduction for C compiler bugs.

John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Executing Formal Semantics with the K Tool.

David Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu

Proceedings of the FM 2012: Formal Methods, 2012

2011

The K Primer (version 3.3).

Traian-Florin Serbanuta, Andrei Arusoaie, David Lazar, Chucky Ellison, Dorel Lucanu, Grigore Rosu

Proceedings of the Second International Workshop on the K Framework and its Applications, 2011

2010

Matching Logic: An Alternative to Hoare/Floyd Logic.

Grigore Rosu, Chucky Ellison, Wolfram Schulte

Proceedings of the Algebraic Methodology and Software Technology, 2010

2008

A Rewriting Logic Approach to Type Inference.

Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008