David Walker
Impact in
- Computer Networks and Communications top 0.1%
- Software-Defined Networks and 5G
- Network Traffic and Congestion Control
- Network Security and Intrusion Detection
- Hardware and Architecture top 0.5%
- Network Packet Processing and Optimization
Papers in
-
- Logic, programming, and type systems 81
- Security and Verification in Computing 13
-
- Software-Defined Networks and 5G 45
- Advanced Database Systems and Queries 12
- Network Traffic and Congestion Control 6
- Co-authors
- Jennifer Rexford (30 shared papers)Greg Morrisett (11 shared papers)Nate Foster (14 shared papers)Karl Crary (8 shared papers)Jay Ligatti (15 shared papers)Cole Schlesinger (9 shared papers)Christopher Monsanto (8 shared papers)Lujo Bauer (10 shared papers)
- Journals
- ACM SIGPLAN Notices (21 papers)Proceedings of the ACM on Programming Languages (8 papers)ACM Transactions on Programming Languages and Systems (3 papers)ACM SIGCOMM Computer Communication Review (3 papers)Journal of Functional Programming (2 papers)
- Partner nations
- United StatesChinaCanada
In The Last Decade
David Walker
142 papers receiving 9.6k citations
David Walker's Hit Papers
Peers
Comparison fields: 5 of 50
- Computer Networks and Communications 5.6k
- Hardware and Architecture 1.1k
- Artificial Intelligence 3.7k
- Software 335
- Computational Theory and Mathematics 735
Countries citing papers authored by David Walker
This map shows the geographic impact of David Walker'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 David Walker with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites David Walker more than expected).
Fields of papers citing papers by David Walker
This network shows the impact of papers produced by David Walker. 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 David Walker. The network helps show where David Walker may publish in the future.
Co-authors
The 25 scholars most cited alongside David Walker, 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 150 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | P4 Hit paper breakdown → | 2014 | 2207 |
| 2 | Frenetic Hit paper breakdown → | 2011 | 490 |
| 3 | 1999 | 440 | |
| 4 | Composing software-defined networks Hit paper breakdown → | 2013 | 384 |
| 5 | 2004 | 288 | |
| 6 | NetKAT Hit paper breakdown → | 2014 | 284 |
| 7 | 2011 | 240 | |
| 8 | 2013 | 240 | |
| 9 | 1998 | 238 | |
| 10 | 1999 | 195 | |
| 11 | 2017 | 175 | |
| 12 | 2013 | 167 | |
| 13 | 2012 | 165 | |
| 14 | 2000 | 163 | |
| 15 | 2016 | 154 | |
| 16 | 2014 | 147 | |
| 17 | 2009 | 145 | |
| 18 | 2011 | 137 | |
| 19 | 2001 | 136 | |
| 20 | 2016 | 136 |
About David Walker
David Walker is a scholar working on Artificial Intelligence, Computer Networks and Communications, Hardware and Architecture, Computational Theory and Mathematics and Software, having authored 150 papers that have together received 10k indexed citations. Recurring topics across this work include Logic, programming, and type systems (81 papers), Software-Defined Networks and 5G (45 papers), Formal Methods in Verification (14 papers), Security and Verification in Computing (13 papers), Advanced Database Systems and Queries (12 papers), Network Packet Processing and Optimization (11 papers), Network Traffic and Congestion Control (6 papers) and Web Data Mining and Analysis (4 papers). The work is most often cited by research in Computer Networks and Communications (5.6k citations), Hardware and Architecture (1.1k citations), Artificial Intelligence (3.7k citations), Software (335 citations) and Computational Theory and Mathematics (735 citations). David Walker has collaborated with scholars based in United States, China and Canada. Frequent co-authors include Jennifer Rexford, Greg Morrisett, Nate Foster, Karl Crary, Jay Ligatti, Cole Schlesinger, Christopher Monsanto, Lujo Bauer, Neal Glew and Amin M. Vahdat. Their work appears in journals such as ACM SIGPLAN Notices, Proceedings of the ACM on Programming Languages, ACM Transactions on Programming Languages and Systems, ACM SIGCOMM Computer Communication Review and Journal of Functional Programming.
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.