World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
60
Citations
20160
World Ranking
3187
National Ranking
1544

Research.com Recognitions

  • 2009 - ACM Senior Member
  • 2004 - Fellow of Alfred P. Sloan Foundation

Overview

David Walker is affiliated with Princeton University in the United States and conducts research primarily in the field of Computer Science. Their work spans several subfields, including Computer Networks and Communications, Hardware and Architecture, Computational Theory and Mathematics, Artificial Intelligence, and Software.

The main topics covered in their research include:

  • Formal Methods in Verification
  • Software-Defined Networks and 5G
  • Network Packet Processing and Optimization
  • Software Testing and Debugging Techniques
  • Software System Performance and Reliability
  • Distributed and Parallel Computing Systems
  • Parallel Computing and Optimization Techniques

David Walker has contributed to numerous publications, with a significant number appearing in notable venues. Their frequent publication venues include:

  • arXiv (Cornell University)
  • Proceedings of the ACM on Programming Languages
  • Artifact Digital Object Group
  • IEEE/ACM Transactions on Networking
  • Schweizerische Zeitschrift fur Forstwesen

Some of their recent published papers are:

  • "Modular Control Plane Verification via Temporal Invariants," 2023, Proceedings of the ACM on Programming Languages
  • "ProbNV: probabilistic verification of network control planes," 2021, Proceedings of the ACM on Programming Languages
  • "Modular Control Plane Verification via Temporal Invariants," 2022, arXiv (Cornell University)
  • "Safe, modular packet pipeline programming," 2022, Proceedings of the ACM on Programming Languages
  • "Selecting embedding delays: An overview of embedding techniques and a new method using persistent homology," 2023, arXiv (Cornell University)

Frequent co-authors collaborating with David Walker include:

  • Ryan Beckett
  • Devon Loehr
  • Aarti Gupta
  • Timothy Alberdingk Thijm
  • Anders Miltner

David Walker's professional recognition includes being named an ACM Senior Member in 2009 and a Fellow of the Alfred P. Sloan Foundation in 2004.

Best Publications

  • P4: programming protocol-independent packet processors

    Pat Bosshart;Dan Daly;Glen Gibb;Martin Izzard

  • The Pi-Calculus: A Theory of Mobile Processes

    Davide Sangiorgi;David Walker

  • From system F to typed assembly language

    Greg Morrisett;David Walker;Karl Crary;Neal Glew

  • Frenetic: a network programming language

    Nate Foster;Rob Harrison;Michael J. Freedman;Christopher Monsanto

  • Abstractions for network update

    Mark Reitblatt;Nate Foster;Jennifer Rexford;Cole Schlesinger

  • Composing software-defined networks

    Christopher Monsanto;Joshua Reich;Nate Foster;Jennifer Rexford

  • NetKAT: semantic foundations for networks

    Carolyn Jane Anderson;Nate Foster;Arjun Guha;Jean-Baptiste Jeannin

  • Edit automata: enforcement mechanisms for run-time security policies

    Jay Ligatti;Lujo Bauer;David Walker

  • Optimizing the "one big switch" abstraction in software-defined networks

    Nanxi Kang;Zhenming Liu;Jennifer Rexford;David Walker

  • From system F to typed assembly language

    Greg Morrisett;David Walker;Karl Crary;Neal Glew

  • Alias Types

    Frederick Smith;David Walker;J. Gregory Morrisett

  • TALx86: A Realistic Typed Assembly Language∗

    Greg Morrisett;Karl Crary;Neal Glew;Dan Grossman

  • A compiler and run-time system for network programming languages

    Christopher Monsanto;Nate Foster;Rob Harrison;David Walker

  • Typed memory management in a calculus of capabilities

    Karl Crary;David Walker;Greg Morrisett

  • Consistent updates for software-defined networks: change you can believe in!

    Mark Reitblatt;Nate Foster;Jennifer Rexford;David Walker

  • Languages for software-defined networks

    N. Foster;A. Guha;M. Reitblatt;A. Story

  • A General Approach to Network Configuration Verification

    Ryan Beckett;Aarti Gupta;Ratul Mahajan;David Walker

  • Alias Types for Recursive Data Structures

    David Walker;J. Gregory Morrisett

  • Run-Time Enforcement of Nonsafety Policies

    Jay Ligatti;Lujo Bauer;David Walker

  • Incremental consistent updates

    Naga Praveen Katta;Jennifer Rexford;David Walker

  • Composing security policies with polymer

    Lujo Bauer;Jay Ligatti;David Walker

Frequent Co-Authors

Jennifer Rexford
Jennifer Rexford Princeton University
Nate Foster
Nate Foster Cornell University
Steve Zdancewic
Steve Zdancewic University of Pennsylvania
Lujo Bauer
Lujo Bauer Carnegie Mellon University
Greg Morrisett
Greg Morrisett Cornell University
Ratul Mahajan
Ratul Mahajan University of Washington
Frank Pfenning
Frank Pfenning Carnegie Mellon University
Benjamin C. Pierce
Benjamin C. Pierce University of Pennsylvania
Todd Millstein
Todd Millstein University of California, Los Angeles
Michael J. Freedman
Michael J. Freedman Princeton University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring a computer science degree opens doors to various related fields and career pathways, many of which are accessible through online study. Technology is evolving rapidly, and demand is growing for multidisciplinary skills.

For those interested in environmental impact and sustainability, consider the cheapest online environmental science degree options. These programs blend technology and environmental studies, preparing graduates for careers in green tech and environmental protection.

If you prefer engineering and enjoy applying problem-solving to the real world, the cheapest online master's mechanical engineering programs offer advanced skills to excel in the mechanical and robotics sectors.

Students drawn to the fundamentals of the universe can explore an online theoretical physics degree. This pathway is ideal if you want to understand the scientific principles that power modern technology.

Finally, data continues to shape industries worldwide. A data science degree provides strong analytical training for roles in business analytics, machine learning, and AI development. Every path offers flexibility and broad career potential for future tech leaders.

Best Scientists Citing David Walker

Trending Scientists

Recently Published Articles