Browsing by Academic Advisor Walker, David
Showing results 1 to 12 of 12
| 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 |
| 2022 | Macleod, Daniel | IW Project Report | Walker, David |
| 2023 | Vu, Tan | Liteflow— Building a Lightweight Data Pipeline Management System | Walker, David |
| 2024 | Loehr, Devon Kennedy | Lucid: A High-Level, Easy-To-Use Dataplane Programming Language | Walker, David |
| 2020 | Yang, Yanjun | Modeling Routing Algebras and the Stable Routing Problem in Cubical Type Theory | Walker, David; Weaver, Matthew |
| 2021 | Lee, Daniel | Musical Analysis Through Euterpea: Using Computerized Music Representation and Compression to Analyze Classical and Contemporary Works | Walker, David |
| - | Beckett, Ryan | Network Control Plane Synthesis and Verification | Walker, David |
| - | Miltner, Anders | Synthesizing Lenses | 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 |