Chucky Ellison
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2012–2015
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | PLDI | Defining the undefinedness of C. | Chris Hathhorn, Chucky Ellison, Grigore Rosu |
| 2012 | FM | Executing Formal Semantics with the K Tool. | David Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu |
| 2012 | PLDI | Test-case reduction for C compiler bugs. | John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang |
| 2012 | POPL | An executable formal semantics of C with applications. | Chucky Ellison, Grigore Rosu |