Research

Publications

2022

Poster: Identifying Syntactic Motifs and Errors in Router Configurations Using Graphs
Extended abstract Code
Sara Alam, Devon Lee, Aaron Gember-Jacobson.
30th IEEE International Conference on Network Protocols (ICNP), 2022.
Testing Router Command Line Interfaces
Extended abstract Code
Omshi Samal, Aaron Gember-Jacobson.
ACM SIGCOMM 2022 Networking Networking Women Professional Development Workshop (N2Women), 2022.
Symbolic Router Execution
Paper Slides
Peng Zhang, Dan Wang, Aaron Gember-Jacobson.
ACM SIGCOMM, 2022.
Differential Network Analysis
Paper Slides Code
Peng Zhang, Aaron Gember-Jacobson, Yueshang Zuo, Yuhao Huang, Xu Liu, Hao Li.</br> USENIX Symposium on Networked Systems Design and Implementation (NSDI), 2022.

2021

Detecting Configuration Errors Via Pattern Mining
Extended abstract Slides Video Code
Jyotirmay Chauhan, Devon Lee, Emily Yu, Aaron Gember-Jacobson.
Network Verification Workshop (NetVerify), 2021.
Divesting in Socially (Ir)responsible Internet Service Providers
Paper Slides Code & dataset
Emily Huff, Aaron Gember-Jacobson.
ACM SIGCOMM 2021 Workshop on Technologies, Applications, and Uses of a Responsible Internet (TAURIN), 2021.
Non-interoperability Detection for Routing Protocol Implementations
Extended abstract Poster
Xi Jiang, Aaron Gember-Jacobson.
SIGCOMM, 2021.
🥇 Awarded first place in the Undergraduate Student Research Competition

2020

AED: Incrementally Synthesizing Policy-Compliant and Manageable Configurations [paper]
Anubhavnidhi Abhashkumar, Aaron Gember-Jacobson, Aditya Akella.
16th International Conference on emerging Networking EXperiments and Technologies (CoNEXT), 2020.
Incremental Network Configuration Verification [paper]
Peng Zhang, Yuhao Huang, Aaron Gember-Jacobson, Wenbo Shi, Xu Liu, Hongkun Yang, Zhiqiang Zuo.
Nineteenth ACM Workshop on Hot Topics in Networks (HotNets), 2020.
Tiramisu: Fast Multilayer Network Verification [paper] [slides] [code]
Anubhavnidhi Abhashkumar, Aaron Gember-Jacobson, Aditya Akella.
USENIX Symposium on Networked Systems Design and Implementation (NSDI), 2020.

2019

Tiramisu: Fast and General Network Verification [techreport]
Anubhavnidhi Abhashkumar, Aaron Gember-Jacobson, Aditya Akella.
arXiv Computing Research Repository (CoRR), abs/1906.02043, 2019.
Localizing Router Configuration Errors Using Unsatisfiable Cores [abstract] [poster] [code]
Ruchit Shrestha, Xiaolin Sun, Aaron Gember-Jacobson.
USENIX Symposium on Networked Systems Design and Implementation (NSDI), 2019.

2018

Auto-completion for Network Configurations [abstract] [poster]
Ahsan Mahmood and Aaron Gember-Jacobson.
USENIX Symposium on Networked Systems Design and Implementation (NSDI), 2018.

2017

Integrating Verification and Repair into the Control Plane [paper] [slides]
Aaron Gember-Jacobson, Costin Raiciu, Laurent Vanbever.
ACM Workshop on Hot Topics in Networks (HotNets), 2017.
Automatically Repairing Network Control Planes Using an Abstract Representation [paper] [slides] [code]
Aaron Gember-Jacobson, Aditya Akella, Ratul Mahajan, and Hongqiang Liu.
ACM Symposium on Operating Systems Principles (SOSP), 2017.

2016

Fast Control Plane Analysis Using an Abstract Representation [paper] [slides] [techreport] [code]
Aaron Gember-Jacobson, Raajay Viswanathan, Aditya Akella, and Ratul Mahajan.
SIGCOMM, 2016.
A Standardized Southbound API for VNF Management [paper] [website]
Junaid Khalid, Mark Coatsworth, Aaron Gember-Jacobson, and Aditya Akella.
Workshop on Hot Topics in Middleboxes and Network Function Virtualization (HotMiddlebox), 2016.
Novel abstractions for data center network management [thesis]
Aaron Gember-Jacobson.
University of Wisconsin-Madison, 2016.
Paving the Way for NFV: Simplifying Middlebox Modifications using StateAlyzr [paper] [slides] [techreport] [website]
Junaid Khalid, Aaron Gember-Jacobson, Roney Michael, Anubhavnidhi Abhashkumar, and Aditya Akella.
USENIX Symposium on Networked Systems Design and Implementation (NSDI), 2016.

2015

Management Plane Analytics [paper] [slides]
Aaron Gember-Jacobson, Wenfei Wu, Xiujun Li, Aditya Akella, and Ratul Mahajan.
Internet Measurement Conference (IMC), 2015.
Improving the Safety, Scalability, and Efficiency of Network Function State Transfers [paper] [slides] [website]
Aaron Gember-Jacobson and Aditya Akella.
Workshop on Hot Topics in Middleboxes and Network Function Virtualization (HotMiddlebox), 2015.
Measuring Control Plane Latency in SDN-enabled Switches [paper] [slides]
Keqiang He, Junaid Khalid, Aaron Gember-Jacobson, Sourav Das, Chaithan Prakash, Aditya Akella, Li Erran Li, and Marina Thottan.
Symposium on SDN Research (SOSR), 2015.
Latency in Software Defined Networks: Measurements and Mitigation Techniques [abstract] [poster]
Keqiang He, Junaid Khalid, Sourav Das, Aaron Gember-Jacobson, Chaithan Prakash, Aditya Akella, Li Erran Li, and Marina Thottan.
SIGMETRICS, 2015.

2014

Design Patterns for Tunable and Efficient SSD-based Indexes [paper] [slides]
Ashok Anand, Aaron Gember-Jacobson, Collin Engstrom, and Aditya Akella.
Symposium on Architectures for Networking and Communications Systems (ANCS), 2014.
OpenNF: Enabling Innovation in Network Function Control [paper] [slides] [techreport]
Aaron Gember-Jacobson, Raajay Viswanathan, Chaithan Prakash, Robert Grandl, Junaid Khalid, Sourav Das, and Aditya Akella.
SIGCOMM, 2014.
Pratyaastha: An Efficient Elastic Distributed SDN Control Plane [paper] [slides]
Anand Krishnamurthy, Shoban P. Chandrabose, and Aaron Gember-Jacobson.
Workshop on Hot Topics in Software Defined Networking (HotSDN), 2014.
VeriCon: Towards Verifying Controller Programs in Software-Defined Networks [paper]
Thomas Ball, Nikolaj Bjorner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly Sagiv, Michael Schapira, and Asaf Valadarsky.
Programming Language Design and Implementation (PLDI), 2014.

2013

Next Stop, the Cloud: Understanding Modern Web Service Deployment in EC2 and Azure [paper] [dataset] [slides]
Keqiang He, Alexis Fisher, Liang Wang, Aaron Gember, Aditya Akella, and Thomas Ristenpart.
Internet Measurement Conference (IMC), 2013.
Design and Implementation of a Framework for Software-Defined Middlebox Networking [abstract] [poster]
Aaron Gember, Robert Grandl, and Junaid Khalid.
SIGCOMM, 2013.
Design and Implementation of a Framework for Software-Defined Middlebox Networking [techreport] [website]
Aaron Gember, Junaid Khalid, Robert Grandl, Shan-Hsiang Shen, and Aditya Akella.
University of Wisconsin-Madison, Technical Report TR1794, Madison, WI, 2013.
Stratos: A Network-Aware Orchestration Layer for Middleboxes in the Cloud [techreport] [website]
Aaron Gember, Anand Krishnamurthy, Saul St. John, Robert Grandl, Xiaoyang Gao, Ashok Anand, Theophilus Benson, Aditya Akella, and Vyas Sekar.
Technical Report arXiv:1305.0209, 2013.

2012

Obtaining In-context Measurements of Cellular Network Performance [paper] [dataset] [slides]
Aaron Gember, Aditya Akella, Jeffrey Pang, Alexander Varshavsky, and Ramon Caceres.
Internet Measurement Conference (IMC), 2012.
Toward Software-Defined Middlebox Networking [paper] [slides]
Aaron Gember, Prathmesh Prabhu, Zainab Ghadiyali, and Aditya Akella.
Hot Topics in Networks (HotNets), 2012.
ECOS: Leveraging Software-Defined Networks to Support Mobile Application Offloading [paper] [slides]
Aaron Gember, Christopher Dragga, and Aditya Akella
Symposium on Architectures for Networking and Communications Systems (ANCS), 2012.
Challenges in Unifying Control of Middlebox Traversals and Functionality [paper] [slides]
Aaron Gember, Theophilus Benson, and Aditya Akella.
Large-Scale Distributed Systems and Middleware (LADIS), 2012.
ECOS: Practical Mobile Application Offloading for Enterprises [paper] [slides]
Aaron Gember, Chris Dragga, and Aditya Akella.
USENIX Workshop on Hot Topics in Management of Internet, Cloud, and Enterprise Networks and Services(Hot-ICE), 2012.
Generic Design Patterns for Tunable and High-Performance SSD-based Indexes [techreport]
Ashok Anand, Aaron Gember, and Aditya Akella.
University of Wisconsin-Madison, Technical Report TR1778, Madison, WI, 2012.
Stratos: Virtual Middleboxes as First-Class Entities [techreport] [website]
Aaron Gember, Robert Grandl, Ashok Anand, Theophilus Benson, and Aditya Akella.
University of Wisconsin-Madison, Technical Report TR1771, Madison, WI, 2012.

2011

REfactor-ing Content Overhearing to Improve Wireless Performance [paper] [slides]
Shan-Hsiang Shen, Aaron Gember, Ashok Anand, and Aditya Akella.
MobiCom, 2011.
A Comparative Study of Handheld and Non-Handheld Traffic in Campus WiFi Networks [paper] [slides]
Aaron Gember, Ashok Anand, and Aditya Akella.
Passive and Active Measurements (PAM), 2011.
Enterprise Centric Offloading System [poster]
Aaron Gember and Aditya Akella.
12th GENI Engineering Conference, 2011.
Secure Opportunistic Mobile Application Offload for Enterprise Networks [poster]
Aaron Gember and Aditya Akella.
10th GENI Engineering Conference, 2011.

2010

Tracking Semantic Relationships for Effective Data Management in Home Networks [paper]
Ashok Anand, Aaron Gember, Vyas Sekar, and Aditya Akella.
ACM SIGCOMM HomeNets Workshop, 2010.
Handheld vs. Non-Handheld Traffic: Implications for Campus WiFi Networks [techreport]
Aaron Gember, Ashok Anand, and Aditya Akella.
University of Wisconsin-Madison, Technical Report TR1679, Madison, WI, 2010.
SONOMA: Secure Opportunistic Network-Wide Offload for Mobile Applications [abstract] [poster]
Aaron Gember and Aditya Akella.
9th GENI Engineering Conference, Washington, DC, 2010.
Mobile Device Offloading Using Enterprise Network and Cloud Resources [abstract] [poster]
Aaron Gember and Aditya Akella.
8th GENI Engineering Conference, San Diego, CA, 2010.

2009

Real-Time TCP for Embedded Devices [abstract]
Aaron Gember and Dennis Brylow.
SIGCSE Student Research Competition, Chattanooga, TN, 2009.