Chucky Ellison

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 1

Top Topics

Formal Language

Number Of Test Cases

Modelling Language

Top Venues

Electron. Notes Theor. Comput. Sci.

Publications

Chris Hathhorn, Chucky Ellison, Grigore Rosu
Defining the undefinedness of C. PLDI (2015)
Traian-Florin Serbanuta, Andrei Arusoaie, David Lazar, Chucky Ellison, Dorel Lucanu, Grigore Rosu
The K Primer (version 3.3). Electron. Notes Theor. Comput. Sci. 304 (2014)
David Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu
Executing Formal Semantics with the K Tool. FM (2012)
Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Grigore Rosu
Making Maude Definitions More Interactive. WRLA (2012)
John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang
Test-case reduction for C compiler bugs. PLDI (2012)
Chucky Ellison, Grigore Rosu
An executable formal semantics of C with applications. POPL (2012)
Grigore Rosu, Chucky Ellison, Wolfram Schulte
Matching Logic: An Alternative to Hoare/Floyd Logic. AMAST (2010)
Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu
A Rewriting Logic Approach to Type Inference. WADT (2008)