Rüdiger Birkner
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| 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… | ||
| 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… | ||
| Net2Text: Query-Guided Summarization of Network Forwarding Behaviors | NSDI '18 | 2018-04-09 |
Net2Text converts a natural-language query into an internal SQL-like query over forwarding state and traffic stats, formulates summarization as an NP-hard ILP… | ||
| nothing matches | ||