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

Spring 2022

  • Introduction to Computer Systems (COSC 208)
  • Computer Networks (COSC 465)

Fall 2021

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

Previous Courses

Current Research Projects

Recent Publications

2022

  • Differential Network Analysis [paper]
    Peng Zhang, Aaron Gember-Jacobson, Yueshang Zuo, Yuhao Huang, Xu Liu, Hao Li.
    USENIX Symposium on Networked Systems Design and Implementation (NSDI), 2022.

2021

  • Detecting Configuration Errors Via Pattern Mining [abstract]
    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 [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.

Full Publications List