David Walker
Impact in
- Computer Networks and Communications top 0.05%
- Software-Defined Networks and 5G
- Network Security and Intrusion Detection
- Caching and Content Delivery
- Software System Performance and Reliability
- Hardware and Architecture top 0.2%
Papers in
-
- Logic, programming, and type systems 51
- Security and Verification in Computing 36
-
- Software-Defined Networks and 5G 51
- Software System Performance and Reliability 25
- Co-authors
- Jennifer Rexford (32 shared papers)Nate Foster (16 shared papers)Greg Morrisett (13 shared papers)Cole Schlesinger (11 shared papers)Karl Crary (9 shared papers)Jay Ligatti (16 shared papers)Christopher Monsanto (8 shared papers)Lujo Bauer (11 shared papers)
- Journals
- ACM SIGPLAN Notices (21 papers)Proceedings of the ACM on Programming Languages (6 papers)ACM SIGCOMM Computer Communication Review (4 papers)ACM Transactions on Programming Languages and Systems (3 papers)Journal of Functional Programming (2 papers)
- Partner nations
- United StatesUnited KingdomChina
In The Last Decade
David Walker
154 papers receiving 10.1k citations
David Walker's Hit Papers
Peers
Comparison fields: 5 of 120
- Computer Networks and Communications 7.5k
- Hardware and Architecture 2.0k
- Software 640
- Artificial Intelligence 4.4k
- Information Systems 2.2k
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 165 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | P4 Hit paper breakdown → | 2014 | 2058 |
| 2 | Abstractions for network update Hit paper breakdown → | 2012 | 481 |
| 3 | Frenetic Hit paper breakdown → | 2011 | 462 |
| 4 | 1999 | 457 | |
| 5 | Composing software-defined networks Hit paper breakdown → | 2013 | 373 |
| 6 | 2004 | 292 | |
| 7 | NetKAT Hit paper breakdown → | 2014 | 261 |
| 8 | 1998 | 239 | |
| 9 | 2011 | 226 | |
| 10 | Optimizing the "one big switch" abstraction in software-defined networks Hit paper breakdown → | 2013 | 225 |
| 11 | 1999 | 205 | |
| 12 | MPI - The Complete Reference: Volume 1, The MPI Core | 1998 | 188 |
| 13 | 2000 | 164 | |
| 14 | 2013 | 164 | |
| 15 | 2012 | 162 | |
| 16 | 2017 | 152 | |
| 17 | 2016 | 144 | |
| 18 | 2014 | 143 | |
| 19 | 2001 | 143 | |
| 20 | 2009 | 140 |
About David Walker
David Walker is a scholar working on Artificial Intelligence, Computer Networks and Communications, Hardware and Architecture, Information Systems and Computational Theory and Mathematics, having authored 165 papers that have together received 10.7k indexed citations. Recurring topics across this work include Logic, programming, and type systems (51 papers), Software-Defined Networks and 5G (51 papers), Security and Verification in Computing (36 papers), Formal Methods in Verification (32 papers), Software System Performance and Reliability (25 papers), Parallel Computing and Optimization Techniques (25 papers), Network Packet Processing and Optimization (20 papers) and Advanced Malware Detection Techniques (16 papers). The work is most often cited by research in Computer Networks and Communications (7.5k citations), Hardware and Architecture (2.0k citations), Software (640 citations), Artificial Intelligence (4.4k citations) and Information Systems (2.2k citations). David Walker has collaborated with scholars based in United States, United Kingdom and China. Frequent co-authors include Jennifer Rexford, Nate Foster, Greg Morrisett, Cole Schlesinger, Karl Crary, Jay Ligatti, Christopher Monsanto, Lujo Bauer, Neal Glew and Amin Vahdat. Their work appears in journals such as ACM SIGPLAN Notices, Proceedings of the ACM on Programming Languages, ACM SIGCOMM Computer Communication Review, ACM Transactions on Programming Languages and Systems 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.