Browsing by Academic Advisor Walker, David
Showing results 1 to 7 of 7
| Class Year | Author(s) | Title | Advisor |
| - | Schlesinger, Cole | Abstractions for Software-defined Networks | Walker, David |
| 2015 | Fillmore, Mark | Algorithms for Data Normalization
with Applications to Stop and Frisk | Walker, David |
| 2006 | Daly, Mark | Interfacing & Automation for the PADS System for Processing Ad Hoc Data | Walker, David |
| 2020 | Yang, Yanjun | Modeling Routing Algebras and the Stable Routing Problem in Cubical Type Theory | Walker, David; Walker, David; Walker, David; Weaver, Matthew |
| - | Beckett, Ryan | Network Control Plane Synthesis and Verification | Walker, David |
| 2015 | Grasso, Andrew | A Tool for Verifying Equational Proofs in a
Functional Language | Walker, David |
| 2018 | Lindfield Roberts, Fabian | TouchBlockly: A Tactile Programming Language Based on Free-Form Gestures | Walker, David |