Aaron

Assistant Professor
Department of Computer Science
Colgate University

310 McGregory Hall
13 Oak Drive
Hamilton, NY 13346

agemberjacobson {at} colgate.edu

Curriculum Vitae

Teaching

Sign-up for office hours

Fall 2021

  • Introduction to Computing I (COSC 101)
  • Introduction to Computer Systems (COSC 208)

Spring 2021

  • Introduction to Computer Systems (COSC 208)

Fall 2020

  • The Unreliable Internet (FSEM 136)
  • Introduction to Computer Systems (COSC 208)

Previous Courses

Current Research Projects

Recent Publications

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.

Full Publications List