Andy Gill

695 total citations
32 papers, 290 citations indexed

About

Andy Gill is a scholar working on Artificial Intelligence, Hardware and Architecture and Information Systems. According to data from OpenAlex, Andy Gill has authored 32 papers receiving a total of 290 indexed citations (citations by other indexed papers that have themselves been cited), including 21 papers in Artificial Intelligence, 20 papers in Hardware and Architecture and 8 papers in Information Systems. Recurrent topics in Andy Gill's work include Logic, programming, and type systems (21 papers), Parallel Computing and Optimization Techniques (16 papers) and Formal Methods in Verification (8 papers). Andy Gill is often cited by papers focused on Logic, programming, and type systems (21 papers), Parallel Computing and Optimization Techniques (16 papers) and Formal Methods in Verification (8 papers). Andy Gill collaborates with scholars based in United States, United Kingdom and Netherlands. Andy Gill's co-authors include Andrew Farmer, Graham Hutton, Colin Runciman, Ed Komp, Terrance Swift, Simon Marlow, J.L. Iborra, Bernard J. Pope, Christian Höner zu Siederdissen and Jurriaan Hage and has published in prestigious journals such as Communications of the ACM, ACM SIGPLAN Notices and Lecture notes in computer science.

In The Last Decade

Andy Gill

29 papers receiving 275 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Andy Gill United States 11 222 137 103 78 63 32 290
Ross Tate United States 10 226 1.0× 130 0.9× 113 1.1× 77 1.0× 92 1.5× 27 305
Niki Vazou United States 11 272 1.2× 63 0.5× 151 1.5× 79 1.0× 87 1.4× 26 334
Marc Feeley Canada 11 165 0.7× 195 1.4× 52 0.5× 37 0.5× 53 0.8× 41 296
Greta Yorsh United States 9 129 0.6× 81 0.6× 89 0.9× 143 1.8× 86 1.4× 16 273
Lennart Augustsson Sweden 8 372 1.7× 160 1.2× 233 2.3× 57 0.7× 71 1.1× 16 427
Josef Svenningsson Sweden 8 153 0.7× 111 0.8× 74 0.7× 28 0.4× 45 0.7× 17 211
Miguel Gómez‐Zamalloa Spain 9 120 0.5× 76 0.6× 83 0.8× 87 1.1× 66 1.0× 25 213
Eric L. Seidel United States 6 181 0.8× 47 0.3× 93 0.9× 66 0.8× 75 1.2× 10 240
Steffen Jost Germany 7 222 1.0× 108 0.8× 169 1.6× 49 0.6× 47 0.7× 9 280
C. Barry Jay Australia 9 232 1.0× 61 0.4× 91 0.9× 41 0.5× 53 0.8× 28 289

Countries citing papers authored by Andy Gill

Since Specialization
Citations

This map shows the geographic impact of Andy Gill'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 Andy Gill with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Andy Gill more than expected).

Fields of papers citing papers by Andy Gill

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Andy Gill. 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 Andy Gill. The network helps show where Andy Gill may publish in the future.

Co-authorship network of co-authors of Andy Gill

This figure shows the co-authorship network connecting the top 25 collaborators of Andy Gill. A scholar is included among the top collaborators of Andy Gill 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 Andy Gill. Andy Gill is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Gill, Andy, et al.. (2017). Composable network stacks and remote monads. 86–97. 1 indexed citations
2.
Gill, Andy. (2017). AFrame. 1–1. 7 indexed citations
3.
Farmer, Andrew, et al.. (2015). Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs. 23–34. 3 indexed citations
4.
Gill, Andy, et al.. (2015). The remote monad design pattern. 59–70. 6 indexed citations
5.
Gill, Andy, et al.. (2014). The Kansas University rewrite engine. Journal of Functional Programming. 24(4). 434–473. 6 indexed citations
6.
Gill, Andy. (2014). Domain-specific languages and code synthesis using Haskell. Communications of the ACM. 57(6). 42–49. 17 indexed citations
7.
Gill, Andy, et al.. (2013). The constrained-monad problem. 287–298. 22 indexed citations
8.
Gill, Andy, et al.. (2013). The constrained-monad problem. ACM SIGPLAN Notices. 48(9). 287–298. 1 indexed citations
9.
Farmer, Andrew, et al.. (2012). The HERMIT in the Tree - Mechanizing Program Transformations in the GHC Core Language.. 86–103. 18 indexed citations
10.
Gill, Andy & Jurriaan Hage. (2012). Implementation and Application of Functional Languages. Lecture notes in computer science. 3 indexed citations
11.
Farmer, Andrew, et al.. (2012). The HERMIT in the machine. 1–12. 19 indexed citations
12.
Gill, Andy, et al.. (2012). Types and associated type families for hardware simulation and synthesis. LISP and Symbolic Computation. 25(2-4). 255–274. 2 indexed citations
13.
Gill, Andy, et al.. (2012). A pattern for almost homomorphic functions. 1–12. 3 indexed citations
14.
Gill, Andy & Andrew Farmer. (2011). Deriving an efficient FPGA implementation of a low density parity check forward error corrector. 209–220. 4 indexed citations
15.
Gill, Andy & Jurriaan Hage. (2011). Proceedings of the 23rd international conference on Implementation and Application of Functional Languages.
16.
Gill, Andy & Graham Hutton. (2009). The worker/wrapper transformation. Journal of Functional Programming. 19(2). 227–251. 30 indexed citations
17.
Gill, Andy & Terrance Swift. (2009). Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages. 8 indexed citations
18.
Gill, Andy. (2008). Proceedings of the first ACM SIGPLAN symposium on Haskell. 1 indexed citations
19.
Gill, Andy. (2006). Introducing the Haskell equational reasoning assistant. 108–109. 10 indexed citations
20.
Gill, Andy. (1995). The Technology Behind a Graphical User Interface for an Equational Reasoning Assistant. Electronic workshops in computing. 1 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

Breakdown of academic impact, for papers by Ross Tate Breakdown of academic impact, for papers by Niki Vazou Breakdown of academic impact, for papers by Marc Feeley Breakdown of academic impact, for papers by Greta Yorsh Breakdown of academic impact, for papers by Lennart Augustsson Breakdown of academic impact, for papers by Josef Svenningsson Breakdown of academic impact, for papers by Miguel Gómez‐Zamalloa Breakdown of academic impact, for papers by Eric L. Seidel Breakdown of academic impact, for papers by Steffen Jost Breakdown of academic impact, for papers by C. Barry Jay
Rankless by CCL
2026