Ben Greenman

432 total citations
32 papers, 213 citations indexed

About

Ben Greenman is a scholar working on Information Systems, Artificial Intelligence and Hardware and Architecture. According to data from OpenAlex, Ben Greenman has authored 32 papers receiving a total of 213 indexed citations (citations by other indexed papers that have themselves been cited), including 25 papers in Information Systems, 25 papers in Artificial Intelligence and 14 papers in Hardware and Architecture. Recurrent topics in Ben Greenman's work include Software Engineering Research (25 papers), Logic, programming, and type systems (22 papers) and Parallel Computing and Optimization Techniques (14 papers). Ben Greenman is often cited by papers focused on Software Engineering Research (25 papers), Logic, programming, and type systems (22 papers) and Parallel Computing and Optimization Techniques (14 papers). Ben Greenman collaborates with scholars based in United States, Mexico and Singapore. Ben Greenman's co-authors include Matthias Felleisen, Jan Vítek, Shriram Krishnamurthi, Ross Tate, Christos Dimoulas, Robert Bruce Findler, Vincent St-Amour, Tim Nelson, Christophe Scholliers and Matthew Flatt and has published in prestigious journals such as ACM SIGPLAN Notices, ACM Transactions on Programming Languages and Systems and Journal of Functional Programming.

In The Last Decade

Ben Greenman

29 papers receiving 210 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Ben Greenman United States 9 187 114 92 58 57 32 213
Florian Zuleger Austria 7 126 0.7× 81 0.7× 101 1.1× 49 0.8× 110 1.9× 29 243
Olaf Chitil United Kingdom 9 216 1.2× 105 0.9× 117 1.3× 75 1.3× 106 1.9× 39 265
Benjamin Delaware United States 8 219 1.2× 112 1.0× 70 0.8× 36 0.6× 82 1.4× 22 250
Richard Bubel Germany 6 138 0.7× 61 0.5× 93 1.0× 25 0.4× 68 1.2× 22 191
Rok Strniša United Kingdom 7 230 1.2× 101 0.9× 62 0.7× 82 1.4× 76 1.3× 9 259
Gary T. Leavens United States 6 136 0.7× 73 0.6× 60 0.7× 20 0.3× 73 1.3× 9 169
Tijs van der Storm Netherlands 5 124 0.7× 132 1.2× 128 1.4× 19 0.3× 27 0.5× 9 212
Rosemary Monahan Ireland 8 77 0.4× 47 0.4× 72 0.8× 7 0.1× 47 0.8× 40 138
Carlos G. López Pombo Argentina 6 90 0.5× 81 0.7× 146 1.6× 16 0.3× 85 1.5× 12 190
Jong-hoon An United States 7 205 1.1× 234 2.1× 147 1.6× 65 1.1× 27 0.5× 9 303

Countries citing papers authored by Ben Greenman

Since Specialization
Citations

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

Fields of papers citing papers by Ben Greenman

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Ben Greenman

This figure shows the co-authorship network connecting the top 25 collaborators of Ben Greenman. A scholar is included among the top collaborators of Ben Greenman 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 Ben Greenman. Ben Greenman 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.
Greenman, Ben, et al.. (2025). FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions. 7(67). 148–148.
2.
Nelson, Tim, et al.. (2024). Forge: A Tool and Language for Teaching Formal Methods. Proceedings of the ACM on Programming Languages. 8(OOPSLA1). 613–641. 2 indexed citations
3.
Greenman, Ben, et al.. (2023). Conceptual Mutation Testing for Student Programming Misconceptions. arXiv (Cornell University). 8(2). 1 indexed citations
4.
Flatt, Matthew, et al.. (2023). Rhombus: A New Spin on Macros without All the Parentheses. Proceedings of the ACM on Programming Languages. 7(OOPSLA2). 574–603. 3 indexed citations
5.
Greenman, Ben, et al.. (2023). How to Evaluate Blame for Gradual Types, Part 2. Proceedings of the ACM on Programming Languages. 7(ICFP). 159–186. 1 indexed citations
6.
Greenman, Ben. (2023). GTP Benchmarks for Gradual Typing Performance. 102–114. 2 indexed citations
7.
Greenman, Ben, et al.. (2022). Making Hay from Wheats: A Classsourcing Method to Identify Misconceptions. 1–7. 3 indexed citations
8.
Greenman, Ben, et al.. (2022). Little Tricky Logic: Misconceptions in the Understanding of LTL. arXiv (Cornell University). 7(2). 4 indexed citations
9.
Greenman, Ben, et al.. (2021). Types for Tables: A Language Design Benchmark. arXiv (Cornell University). 6(2).
10.
Greenman, Ben, et al.. (2021). How to evaluate blame for gradual types. Proceedings of the ACM on Programming Languages. 5(ICFP). 1–29. 6 indexed citations
11.
Greenman, Ben, et al.. (2019). How to evaluate the performance of gradual type systems. Journal of Functional Programming. 29. 12 indexed citations
12.
Greenman, Ben, Matthias Felleisen, & Christos Dimoulas. (2019). Complete monitors for gradual types. Proceedings of the ACM on Programming Languages. 3(OOPSLA). 1–29. 7 indexed citations
13.
Greenman, Ben & Matthias Felleisen. (2018). A spectrum of type soundness and performance. Proceedings of the ACM on Programming Languages. 2(ICFP). 1–32. 15 indexed citations
14.
Greenman, Ben, et al.. (2017). Type systems as macros. ACM SIGPLAN Notices. 52(1). 694–705. 2 indexed citations
15.
Greenman, Ben, et al.. (2017). On the cost of type-tag soundness. 30–39. 3 indexed citations
16.
Tobin-Hochstadt, Sam, Matthias Felleisen, Robert Bruce Findler, et al.. (2017). Migratory Typing: Ten Years Later. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 17. 13 indexed citations
17.
Greenman, Ben, et al.. (2016). Type systems as macros. 694–705. 12 indexed citations
18.
Greenman, Ben, et al.. (2015). Out Came the Sun: Overcoming the Legacy of Mental Illness, Addiction, and Suicide in My Family. UST Research Online (University of St. Thomas - Minnesota). 2 indexed citations
19.
Greenman, Ben, et al.. (2014). Getting F-bounded polymorphism into shape. ACM SIGPLAN Notices. 49(6). 89–99. 4 indexed citations
20.
Greenman, Ben, et al.. (2014). Getting F-bounded polymorphism into shape. 89–99. 13 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 Florian Zuleger Breakdown of academic impact, for papers by Olaf Chitil Breakdown of academic impact, for papers by Benjamin Delaware Breakdown of academic impact, for papers by Richard Bubel Breakdown of academic impact, for papers by Rok Strniša Breakdown of academic impact, for papers by Gary T. Leavens Breakdown of academic impact, for papers by Tijs van der Storm Breakdown of academic impact, for papers by Rosemary Monahan Breakdown of academic impact, for papers by Carlos G. López Pombo Breakdown of academic impact, for papers by Jong-hoon An
Rankless by CCL
2026