Projects per year
Search results
-
Active
NeTS: Medium: Foundations and Applications of Modular Verification of Networks
Walker, D. P. (PI)
NSF - National Science Foundation
10/1/23 → 9/30/27
Project: Research project
-
Collaborative Research: FMitF: Track I: Specifying and Verifying Network-wide Properties of Dynamic Data Planes
Walker, D. P. (PI)
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. (PI)
NSF - National Science Foundation
9/1/22 → 8/31/25
Project: Research project
-
Finished
NeTS: Medium: Collaborative Research: Network Configuration Synthesis: A Path to Practical Deployment
Walker, D. P. (PI)
NSF - National Science Foundation
7/1/17 → 10/31/22
Project: Research project
-
Synthesizing Data Wranglers
Walker, D. P. (PI)
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. (PI)
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. (PI)
NSF - National Science Foundation
8/15/10 → 7/31/14
Project: Research project