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 |