Alex Horn

1 papers · 2017–2017 · 1 conference · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🐝 Cross-Pollinator (4)

Conferences

NSDI (1)

Top co-authors

Ali Kheradmand (1) Mukul Prasad (1)

Keywords

network verification (1) software defined networking (1) data plane (1) forwarding behavior (1) reachability invariant (1) real-time checking (1) real-time verification (1) packet forwarding (1) sdn network (1) quasi-linear algorithm (1)

Papers

Delta-net: Real-time Network Verification Using Atoms NSDI 2017