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

Fall 2020

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

Spring 2020

  • Intro to Computing I (COSC 101)
  • Computer Networks (COSC 465)

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]
    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.

Full Publications List