Networking Unplugged: Hands-On, Inquiry-Based
Learning for Undergraduate Networking Courses Paper
Aaron Gember-Jacobson.
SIGCOMM Education Workshop 2026: Networking Education for the AI Generation (A4NE),
2026.
Expresso: Control plane verification considering external routes Paper Slides
Xi Jiang, Aaron Gember-Jacobson, Nick Feamster.
Proceedings of the ACM on Measurement and Analysis of Computing Systems (POMACS): Volume 10, Issue 2,
2026.
2025
Poster: Light Security: Discovering Vulnerabilities in Theatrical Lighting Control Systems and Assessing Their Prevalence Extended abstract Poster
Brian Douglas Jr., Aaron Gember-Jacobson.
USENIX Symposium on Usable Privacy and Security (SOUPS),
2025.
Poster: Evaluating Browser-Based Networking for Real-Time Multiplayer Games Extended abstract Poster
Danny Orlando, Aaron Gember-Jacobson.
USENIX Symposium on Networked Systems Design and Implementation (NSDI),
2025.
2024
Expresso: Control plane verification considering external routes Paper
Dan Wang, Peng Zhang, and Aaron Gember-Jacobson.
ACM SIGCOMM Conference,
2024.
🏅 Best Paper Honorable Mention
NetDiffusion: Network data augmentation through protocol-constrained traffic generations Paper
Xi Jiang, Shinan Liu, Aaron Gember-Jacobson, Arjun Nitin Bhagoji, Paul Schmitt, Francesco Bronzino, and Nick Feamster.
Proceedings of the ACM on Measurement and Analysis of Computing Systems (POMACS),
February 2024.
2023
Generative, high-fidelity network traces Paper
Xi Jiang, Shinan Liu, Aaron Gember-Jacobson, Paul Schmitt, Francesco Bronzino, Nick Feamster.
ACM Workshop on Hot Topics in Networks (HotNets),
2023.
Poster: Summarizing network configuration patterns Extended abstract Poster
Jyotirmay Chauhan, Aaron Gember-Jacobson.
USENIX Symposium on Networked Systems Design and Implementation (NSDI),
2023.
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.
USENIX Symposium on Networked Systems Design and Implementation (NSDI),
2022.
Localizing Router Configuration Errors Using Minimal Correction Sets Paper
Aaron Gember-Jacobson, Ruchit Shrestha, Xiaolin Sun.
arXiv 2204.10785.
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.
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.