Aaron Gember-Jacobson

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

Achievements

🌉 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