Curriculum Vitae, Chucky Ellison

From FSL
Jump to: navigation, search

Contents

Contact Information

Chucky Ellison
2107 Siebel Center
201 N. Goodwin, Urbana, IL, 61801
email:	celliso2@illinois.edu

Education

University of Illinois at Urbana Champaign (2005-2012)

  • M.S. Computer Science, May, 2008.
  • Ph.D. Computer Science, August, 2012.

Papers

A Formal Semantics of C with Applications 
Chucky Ellison
PhD Thesis, University of Illinois, July 2012
PDF, Slides, Project, BIB
Executing Formal Semantics with the K Tool 
David Lazar, Andrei Arusoaie, Traian Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu and Grigore Rosu
FM'12, LNCS 7436, pp 267-271. 2012
PDF, Slides(PDF), FM'12, DBLP, BIB
Defining the Undefinedness of C 
Chucky Ellison and Grigore Rosu
Technical Report http://hdl.handle.net/2142/30780, April 2012
PDF, TR@UIUC, BIB
Test-Case Reduction for C Compiler Bugs 
John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison and Xuejun Yang
PLDI'12, ACM, pp 335-346. 2012
PDF, Slides(PPT), Project, ACM, PLDI'12, DBLP, 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 7571. 2012
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
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
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
On RDBMS-Integrated Disk-Based Architecture for Managing Massive Dormant Data in a Compressed Format 
Miroslav Dzakovic and Chucky Ellison
SNAPI'07, IEEE
PDF, IEEE, BIB

Relevant Coursework

Language
  • CS421: Programming Language and Compilers
  • CS422: Programming Language Design
  • CS426: Compiler Construction
  • CS522: Programming Language Semantics
  • CS524: Concurrent Programming Languages
  • CS598REJ: Object-Oriented Programming and Design
Formal Methods
  • CS475: Formal Models of Computation
  • CS476: Program Verification
  • CS477: Formal Software Development Methods
  • CS576: Topics in Automated Deduction

Other Coursework

  • CS425: Distributed Systems
  • CS431: Embedded Systems
  • CS578: Information Theory
  • CS598SRR: Artificial Neural Networks and Computational Brain Theory

North Carolina State University (2000-2004)

BS in Computer Science, BS in Mathematics, Minor in Cognitive Science

4.0 out of 4.0 GPA

Other Coursework

  • MA565: Graph Theory
  • CSC520: Artificial Intelligence I

Teaching

Recognized on the "Incomplete List of Teachers Ranked as Excellent" for Spring 2006 and Fall 2006, and the renamed "List of Teachers Ranked as Excellent" for Fall 2007. Additionally received departmental teaching award for Fall 2009.

CS 427 (Software Engineering I)

  • Fall 2005

CS 242 (Programming Studio)

  • Spring 2006
  • Fall 2006
  • Spring 2007
  • Fall 2007
  • Fall 2009
Personal tools
Namespaces

Variants
Actions
Navigation