Matthew Caesar
where else to find them
no profile links on file
what they talk about
where they keep going back
- NSDI2 editions2013–2020
on a stage with
- Ahmed Khurshidonce
- Ali Kheradmandonce
- Brighten Godfreyonce
all 8 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Plankton: Scalable network configuration verification through model checking | NSDI 2020 | 2020-02-25 |
Plankton implements a prototype verifier that encodes the network control plane as an executable model and runs explicit-state model checking (SPIN) over a… | ||
| VeriFlow: Verifying Network-Wide Invariants in Real Time | NSDI 2013 | 2013-04-02 |
VeriFlow sits between controller and devices and intercepts controller-to-device updates, building per-update equivalence classes and per-class forwarding… | ||
| nothing matches | ||