David P. Walker

Projects

Projects per year 2010 2010 2011 2016 2017 2022 2025

• 2 Active
• 4 Finished

Projects per year

Search results

• Active

  Collaborative Research: FMitF: Track I: Specifying and Verifying Network-wide Properties of Dynamic Data Planes

  Walker, D. P.

  NSF - National Science Foundation

  10/1/22 → 9/30/25

  Project: Research project

• IMR: MT: Tools for Programming Distributed Data-plane Measurements

  Walker, D. P.

  NSF - National Science Foundation

  9/1/22 → 8/31/24

  Project: Research project

• Finished

  NeTS: Medium: Collaborative Research: Network Configuration Synthesis: A Path to Practical Deployment

  Walker, D. P.

  NSF - National Science Foundation

  7/1/17 → 10/31/22

  Project: Research project

• Synthesizing Data Wranglers

  Walker, D. P.

  Defense Advanced Research Projects Agncy

  11/1/16 → 10/31/18

  Project: Research project

• TC: Large: Collaborative Research: High-Level Language Support for Trustworthy Networks

  Walker, D. P.

  NSF - National Science Foundation

  8/1/11 → 7/31/16

  Project: Research project

• SHF:Small:Language Support for Ad Hoc Data Processing

  Walker, D. P.

  NSF - National Science Foundation

  8/15/10 → 7/31/14

  Project: Research project