Jay McCarthy

562 total citations
23 papers, 277 citations indexed

About

Jay McCarthy is a scholar working on Artificial Intelligence, Information Systems and Hardware and Architecture. According to data from OpenAlex, Jay McCarthy has authored 23 papers receiving a total of 277 indexed citations (citations by other indexed papers that have themselves been cited), including 16 papers in Artificial Intelligence, 9 papers in Information Systems and 7 papers in Hardware and Architecture. Recurrent topics in Jay McCarthy's work include Logic, programming, and type systems (12 papers), Advanced Software Engineering Methodologies (6 papers) and Parallel Computing and Optimization Techniques (6 papers). Jay McCarthy is often cited by papers focused on Logic, programming, and type systems (12 papers), Advanced Software Engineering Methodologies (6 papers) and Parallel Computing and Optimization Techniques (6 papers). Jay McCarthy collaborates with scholars based in United States, Netherlands and Philippines. Jay McCarthy's co-authors include Matthias Felleisen, Shriram Krishnamurthi, Robert Bruce Findler, Matthew Flatt, Sam Tobin-Hochstadt, Cormac Flanagan, Christos Dimoulas, John Clements, Helen H. Hu and Eric Mercer 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

Jay McCarthy

22 papers receiving 261 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Jay McCarthy United States	9	199	100	73	72	71	23	277
Nikolaos Papaspyrou Greece	10	209 1.1×	70 0.7×	112 1.5×	97 1.3×	51 0.7×	43	318
James Hook United States	10	228 1.1×	111 1.1×	70 1.0×	77 1.1×	113 1.6×	20	317
Florian Zuleger Austria	7	126 0.6×	81 0.8×	110 1.5×	49 0.7×	101 1.4×	29	243
M.C.J.D. van Eekelen Netherlands	8	180 0.9×	48 0.5×	101 1.4×	61 0.8×	84 1.2×	48	272
Paul Steckler United States	5	202 1.0×	77 0.8×	105 1.4×	93 1.3×	100 1.4×	9	306
Phillip J. Windley United States	8	111 0.6×	86 0.9×	70 1.0×	58 0.8×	26 0.4×	24	239
A. P. Ershov Russia	10	269 1.4×	72 0.7×	165 2.3×	107 1.5×	64 0.9×	38	404
Thomas P. Murtagh United States	10	96 0.5×	84 0.8×	38 0.5×	55 0.8×	56 0.8×	24	305
Marcus Denker France	10	238 1.2×	181 1.8×	25 0.3×	74 1.0×	77 1.1×	38	343
Nazareno Aguirre Argentina	13	157 0.8×	228 2.3×	103 1.4×	22 0.3×	246 3.5×	51	396

Countries citing papers authored by Jay McCarthy

Since Specialization

Citations

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

Fields of papers citing papers by Jay McCarthy

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Jay McCarthy

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

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

1.

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

2.

Mercer, Eric, et al.. (2019). Model-checking task-parallel programs for data-race. Innovations in Systems and Software Engineering. 15(3-4). 289–306. 2 indexed citations

3.

Felleisen, Matthias, Robert Bruce Findler, Matthew Flatt, et al.. (2018). A programmable programming language. Communications of the ACM. 61(3). 62–71. 39 indexed citations

4.

McCarthy, Jay, et al.. (2017). A Coq library for internal verification of running-times. Science of Computer Programming. 164. 49–65. 5 indexed citations

5.

Findler, Robert Bruce, et al.. (2017). Fair enumeration combinators. Journal of Functional Programming. 27. 5 indexed citations

6.

Hu, Helen H., et al.. (2016). Deploying Exploring Computer Science Statewide. 72–77. 15 indexed citations

7.

Felleisen, Matthias, Robert Bruce Findler, Matthew Flatt, et al.. (2015). The Racket Manifesto. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 113–128. 24 indexed citations

8.

McCarthy, Jay, et al.. (2014). Practically Accurate Floating-Point Math. Computing in Science & Engineering. 16(4). 80–95. 8 indexed citations

9.

McCarthy, Jay & Jurriaan Hage. (2014). Trends in Functional Programming. Lecture notes in computer science. 4 indexed citations

10.

Cooper, Gregory H., Arjun Guha, Shriram Krishnamurthi, Jay McCarthy, & Robert Bruce Findler. (2013). Teaching garbage collection without implementing compiler or interpreters. 385–390. 1 indexed citations

11.

Clements, John, Christos Dimoulas, Matthias Felleisen, et al.. (2012). Run your research. DigitalCommons - CalPoly (California State Polytechnic University). 285–296. 31 indexed citations

12.

Clements, John, Christos Dimoulas, Matthias Felleisen, et al.. (2012). Run your research. ACM SIGPLAN Notices. 47(1). 285–296. 31 indexed citations

13.

Flanagan, Cormac, et al.. (2011). Temporal higher-order contracts. ACM SIGPLAN Notices. 46(9). 176–188. 15 indexed citations

14.

Flanagan, Cormac, et al.. (2011). Temporal higher-order contracts. 176–188. 28 indexed citations

15.

McCarthy, Jay. (2010). The two-state solution. 567–582. 5 indexed citations

16.

McCarthy, Jay. (2009). Automatically RESTful web applications. 299–310. 9 indexed citations

17.

McCarthy, Jay, Shriram Krishnamurthi, Joshua D. Guttman, & John D. Ramsdell. (2007). Compiling cryptographic protocols for deployment on the web. 687–696. 2 indexed citations

18.

McCarthy, Jay & Shriram Krishnamurthi. (2006). Interaction-Safe State for the Web. 3 indexed citations

19.

McCarthy, Jay, et al.. (1999). Report on Building the Joint Battlespace Infosphere. Volume 1: Summary.

20.

McCarthy, Jay, et al.. (1999). Building the Joint Battlespace Infosphere. Volume 2: Interactive Information Technologies. Defense Technical Information Center (DTIC). 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