Arjun Guha
Impact in
-
- Software-Defined Networks and 5G
- Software top 2%
- Software Testing and Debugging Techniques
Papers in
-
- Logic, programming, and type systems 31
- Security and Verification in Computing 4
-
- Software Engineering Research 12
- Mobile and Web Applications 6
- Co-authors
- Shriram Krishnamurthi (19 shared papers)Nate Foster (9 shared papers)Mark Reitblatt (4 shared papers)Andrew D. Ferguson (3 shared papers)Rodrigo Fonseca (3 shared papers)Carolyn Jane Anderson (9 shared papers)Cole Schlesinger (4 shared papers)David Walker (3 shared papers)
- Journals
- ACM SIGPLAN Notices (7 papers)Proceedings of the ACM on Programming Languages (5 papers)IEEE Communications Magazine (1 paper)Journal of Computer Security (1 paper)IEEE Software (1 paper)
- Partner nations
- United StatesUnited KingdomGermany
In The Last Decade
Arjun Guha
59 papers receiving 2.5k citations
Arjun Guha's Hit Papers
Peers
Comparison fields: 5 of 39
- Computer Networks and Communications 1.1k
- Software 186
- Artificial Intelligence 970
- Information Systems 555
- Hardware and Architecture 131
Countries citing papers authored by Arjun Guha
This map shows the geographic impact of Arjun Guha'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 Arjun Guha with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Arjun Guha more than expected).
Fields of papers citing papers by Arjun Guha
This network shows the impact of papers produced by Arjun Guha. 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 Arjun Guha. The network helps show where Arjun Guha may publish in the future.
Co-authors
The 25 scholars most cited alongside Arjun Guha, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 63 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | NetKAT Hit paper breakdown → | 2014 | 284 |
| 2 | 2013 | 226 | |
| 3 | 2013 | 164 | |
| 4 | The essence of JavaScript | 2004 | 138 |
| 5 | 2009 | 136 | |
| 6 | 2009 | 132 | |
| 7 | 2013 | 130 | |
| 8 | 2009 | 128 | |
| 9 | 2011 | 91 | |
| 10 | 2013 | 88 | |
| 11 | 2013 | 84 | |
| 12 | 2023 | 77 | |
| 13 | 2014 | 72 | |
| 14 | 2010 | 68 | |
| 15 | 2019 | 68 | |
| 16 | 2012 | 60 | |
| 17 | 2021 | 60 | |
| 18 | 2011 | 53 | |
| 19 | 2016 | 49 | |
| 20 | 2024 | 45 |
About Arjun Guha
Arjun Guha is a scholar working on Artificial Intelligence, Information Systems, Computer Science Applications, Computer Networks and Communications and Software, having authored 63 papers that have together received 2.6k indexed citations. Recurring topics across this work include Logic, programming, and type systems (31 papers), Software-Defined Networks and 5G (12 papers), Software Engineering Research (12 papers), Teaching and Learning Programming (8 papers), Mobile and Web Applications (6 papers), Software Testing and Debugging Techniques (6 papers), Formal Methods in Verification (4 papers) and Security and Verification in Computing (4 papers). The work is most often cited by research in Computer Networks and Communications (1.1k citations), Software (186 citations), Artificial Intelligence (970 citations), Information Systems (555 citations) and Hardware and Architecture (131 citations). Arjun Guha has collaborated with scholars based in United States, United Kingdom and Germany. Frequent co-authors include Shriram Krishnamurthi, Nate Foster, Mark Reitblatt, Andrew D. Ferguson, Rodrigo Fonseca, Carolyn Jane Anderson, Cole Schlesinger, David Walker, Dexter C. Kozen and Jean-Baptiste Jeannin. Their work appears in journals such as ACM SIGPLAN Notices, Proceedings of the ACM on Programming Languages, IEEE Communications Magazine, Journal of Computer Security and IEEE Software.
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.