David Walker
where else to find them
no profile links on file
what they talk about
all 7 in the filters
where they keep going back
all 10 in the filters
on a stage with
all 31 in the filters
who talks about the same things
- Devon Loehr3 talks
- Nate Foster24 talks
- Kathleen Fisher9 talks
- Eric Hayden Campbell6 talks
- Aarti Gupta7 talks
- Joseph W. Cutler7 talks
| title | conference | date |
|---|---|---|
| Count-Based Abstractions for Performance Verification of Contention Points | NSDI '26 | 2026-05-04 |
Develops a count+window abstraction that tracks small windows of per-class packet counts plus overflow barriers to bound reordering and trade precision for… | ||
| Network Change Validation with Relational NetKAT | POPL 2026 | 2026-01-11 |
Relational NetKAT is a specification language for change-by-trace: programs describe a trace relation R and compile it to NetKAT transducers and automata so… | ||
| Westpac's AI innovations for customer experience | AWS Summit Sydney 2025 | 2025-06-04 |
Westpac describes an internal AI Accelerator that evaluates over 1,000 use cases and standardizes them into four patterns (information retrieval, process… | ||
| Sequence Abstractions for Flexible, Line-Rate Network Monitoring | 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24) | 2024-04-16 |
A new system called FLM compiles sequence-monitoring programs to P4 that run on programmable switch ASICs, splitting specs into state management plus a regular… | ||
| Saggitarius: A DSL for Specifying Grammatical Domains | OOPSLA 2023 | 2023-10-23 |
Saggitarius defines metagrammars (DSLs whose denotation is a set of CFGs with existential parameters and constraints) and uses a generated giant grammar plus… | ||
| Modular Control Plane Verification via Temporal Invariants | PLDI 2023 | 2023-06-17 |
Timepiece implements a temporal model and an SMT-backed verifier (C library plus harness) that replaces unsafe stable-state modular checks with temporal… | ||
| Test Coverage for Network Configurations | NSDI 2023 | 2023-04-17 |
NetCov identifies which router configuration lines a test suite actually exercises by tracing data-plane facts back to contributing config lines using an… | ||
| SwitchLog: A Logic Programming Language for Network Switches | PADL 2023 | 2023-01-16 |
Introduces a restricted logic DSL that compiles to Lucid then P4 and targets Intel Tofino; programs use key-value tables with per-key merge operators (min… | ||
| Tech Roundtable: Distributed SQL Around the World | Distributed SQL Summit 2022 | 2022-09-14 |
Conference marks its fourth year and attendance more than doubles year over year, and claims YugabyteDB fastest rising in DB-Engines top 250. Panel cites banks… | ||
| Modular Switch Programming Under Resource Constraints | 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI '22) | 2022-04-04 |
P4All extends P4 with elastic data structures (symbolic sizes + objective functions) and compile-time loops and uses dependency analysis plus an ILP-based… | ||
| Safe, Modular Packet Pipeline Programming | POPL 2022 | 2022-01-16 |
Introduces Lucid 2.0, a language and type system that guarantees programs are pipeline-safe on pipelined switches (P4/Intel Tofino targets), adding… | ||
| Enabling Programmable Transport Protocols in High Speed NICs | NSDI 2020 | 2020-02-25 |
Paper presents Tonic, a hardware template and API that implements transport logic (segment selection and credit management) constrained to a few kilobits per… | ||
| Contra: A Programmable System for Performance aware Routing | NSDI 2020 | 2020-02-25 |
System compiles high-level path-ranking policies into switch-local P4 programs and a product graph that merges regex path constraints with the topology… | ||
| nothing matches | ||