Laurent Vanbever
where else to find them
what they talk about
all 4 in the filters
where they keep going back
- NSDI3 editions2019–2023
all 4 in the filters
on a stage with
all 28 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Verifying maximum link loads in a changing world | NSDI '25 | 2025-04-28 |
Velo finds maximum link loads when links fail and BGP routes change by proving worst-case per-destination happens with a single-egress worst case and by… | ||
| Everything Matters in Programmable Packet Scheduling | NSDI '25 | 2025-04-28 |
Presents PACKS, a quantile-based admission and queue-mapping design that approximates both PIFO queues scheduling and admission behaviors using a… | ||
| xBGP: Faster Innovation in Routing Protocols | NSDI 2023 | 2023-04-17 |
Proposes xBGP, a vendor‑neutral API plus an eBPF VM that runs BGP extension code inside existing routers, implemented in FRRouting and BIRD; demonstrates seven… | ||
| Enhancing Global Network Monitoring with Magnifier | NSDI 2023 | 2023-04-17 |
Magnifier infers ingress and egress prefixes from sparse packet samples then validates those inferences by deploying negative mirroring rules on routers to… | ||
| Metha: Network Verifiers Need To Be Correct Too! | NSDI ’21 | 2021-04-12 |
Metha automatically tests network analysis tools by generating syntactically and semantically valid configurations in a two‑stage generator, running each… | ||
| SP-PIFO: Approximating Push-In First-Out Behaviors using Strict-Priority Queues | NSDI 2020 | 2020-02-25 |
Approximation of PIFO behavior uses a mapping that adapts packet rank→priority-queue thresholds at packet time and runs on real switches via a P4… | ||
| Config2Spec: Mining Network Specifications from Network Configurations | NSDI 2020 | 2020-02-25 |
Config2Spec automatically synthesizes a formal network specification from device configurations plus a failure model, combining data‑plane analysis and… | ||
| Blink: Fast Connectivity Recovery Entirely in the Data Plane | NSDI 2019 | 2019-02-26 |
Blink detects remote outages from TCP retransmission waves by tracking 64 flows per prefix with an 800 ms window, counting flows with consecutive identical… | ||
| Stroboscope: Declarative Network Monitoring on a Budget | NSDI '18 | 2018-04-09 |
System instructs routers to mirror millisecond-long bursts so collectors get packet-level snapshots; it calls this traffic slicing and uses GRE-like… | ||
| nothing matches | ||