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

On junior faculty leave Fall 2019

Previous Courses

Current Research Projects

Recent Publications

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