Chucky Ellison

976 total citations
14 papers, 517 citations indexed

About

Chucky Ellison is a scholar working on Artificial Intelligence, Software and Information Systems. According to data from OpenAlex, Chucky Ellison has authored 14 papers receiving a total of 517 indexed citations (citations by other indexed papers that have themselves been cited), including 11 papers in Artificial Intelligence, 6 papers in Software and 4 papers in Information Systems. Recurrent topics in Chucky Ellison's work include Logic, programming, and type systems (10 papers), Software Testing and Debugging Techniques (6 papers) and Software Engineering Research (4 papers). Chucky Ellison is often cited by papers focused on Logic, programming, and type systems (10 papers), Software Testing and Debugging Techniques (6 papers) and Software Engineering Research (4 papers). Chucky Ellison collaborates with scholars based in United States, Romania and France. Chucky Ellison's co-authors include Grigore Roşu, Yang Chen, Xuejun Yang, Eric Eide, Pascal Cuoq, John Regehr, Dorel Lucanu, David Lazar, Traian Florin Şerbănuţă and Wolfram Schulte and has published in prestigious journals such as Proceedings of the IEEE, ACM SIGPLAN Notices and Electronic Notes in Theoretical Computer Science.

In The Last Decade

Chucky Ellison

13 papers receiving 490 citations

Peers

Chucky Ellison
Bor-Yuh Evan Chang United States
Vladimir Levin United States
Francesco Logozzo United States
Vijay D’Silva United Kingdom
Gogul Balakrishnan United States
Yoav Zibin Israel
Pavol Černý United States
David Melski United States
Bor-Yuh Evan Chang United States
Chucky Ellison
Citations per year, relative to Chucky Ellison Chucky Ellison (= 1×) peers Bor-Yuh Evan Chang

Countries citing papers authored by Chucky Ellison

Since Specialization
Citations

This map shows the geographic impact of Chucky Ellison's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Chucky Ellison with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Chucky Ellison more than expected).

Fields of papers citing papers by Chucky Ellison

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Chucky Ellison. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Chucky Ellison. The network helps show where Chucky Ellison may publish in the future.

Co-authorship network of co-authors of Chucky Ellison

This figure shows the co-authorship network connecting the top 25 collaborators of Chucky Ellison. A scholar is included among the top collaborators of Chucky Ellison based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Chucky Ellison. Chucky Ellison is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

14 of 14 papers shown
1.
Ellison, Chucky, et al.. (2015). Defining the undefinedness of C. 336–345. 54 indexed citations
2.
Ellison, Chucky, et al.. (2015). Defining the undefinedness of C. ACM SIGPLAN Notices. 50(6). 336–345. 10 indexed citations
3.
Şerbănuţă, Traian Florin, et al.. (2014). The K Primer (version 3.3). Electronic Notes in Theoretical Computer Science. 304. 57–80. 5 indexed citations
4.
Lazar, David, et al.. (2012). Executing Formal Semantics with the K Tool. Formal Methods. 267–271. 5 indexed citations
5.
Regehr, John, Yang Chen, Pascal Cuoq, et al.. (2012). Test-case reduction for C compiler bugs. 335–346. 215 indexed citations
6.
Regehr, John, Yang Chen, Pascal Cuoq, et al.. (2012). Test-case reduction for C compiler bugs. ACM SIGPLAN Notices. 47(6). 335–346. 29 indexed citations
7.
Ellison, Chucky & Grigore Roşu. (2012). An executable formal semantics of C with applications. ACM SIGPLAN Notices. 47(1). 533–544. 95 indexed citations
8.
Ellison, Chucky & Grigore Roşu. (2012). An executable formal semantics of C with applications. 533–544. 89 indexed citations
9.
Ellison, Chucky, et al.. (2012). Technical Report: Defining the Undefinedness of C. 1 indexed citations
10.
Ellison, Chucky & Grigore Roşu. (2011). An Executable Formal Semantics of C with Applications: Technical Report. Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign). 1 indexed citations
11.
Ellison, Chucky, et al.. (2010). A Formal Semantics of C with Applications. 5 indexed citations
12.
Roşu, Grigore, Chucky Ellison, & Wolfram Schulte. (2009). From Rewriting Logic Executable Semantics to Matching Logic Program Verification. Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign). 2 indexed citations
13.
Ellison, Chucky. (2008). A Rewriting Logic Approach to Defining Type Systems. Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign). 1 indexed citations
14.
Ellison, Chucky. (1975). The Utah TENEX scheduler. Proceedings of the IEEE. 63(6). 940–945. 5 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Rankless by CCL
2026