conftrace_
← Authors

Aaron Gember-Jacobson

3 papers · 2016–2022 · 1 conference · across top CS/AI conferences

Achievements

Jump to papers ↓
🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🏃 Academic Marathon (6) 🐝 Cross-Pollinator (3)

Conferences

NSDI (3)

Top co-authors

Aditya Akella (2) Anubhavnidhi Abhashkumar (2) Roney Michael (1) Junaid Khalid (1) Hao Li (1) Yueshang Zuo (1) Peng Zhang (1) Xu Liu (1) Yuhao Huang (1)

Keywords

network verification (2) control plane (2) property checking (1) multilayer graph (1) failure verification (1) incremental computation (1) differential network analysis (1) distributed network (1) graph algorithm (1) verification algorithm (1) data plane (1)

Papers

Differential Network Analysis NSDI 2022 Tiramisu: Fast Multilayer Network Verification NSDI 2020 Paving the Way for NFV: Simplifying Middlebox Modifications Using StateAlyzr NSDI 2016