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

2021

  • Divesting in Socially (Ir)responsible Internet Service Providers [paper] [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 [abstract] [poster]
    Xi Jiang, Aaron Gember-Jacobson.
    SIGCOMM, 2021.

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.

Full Publications List