Contact Information

Computer Science Department
Colgate University
McGregory Hall, 3rd Floor
13 Oak Drive
Hamilton, NY 13346
(tel) 315.228.7719
Charlotte Jablonski, Administrative Assistant

Students and Faculty present research at NSDI 2019

Ruchit Shrestha '20 and Xiaolin Sun '20, along with Prof. Aaron Gember-Jacobson, presented a poster on their research at the 16th USENIX Symposium on Networked Systems Design and Implementation (

The research focuses on localizing errors in the configurations of network routers. Router configuration errors are unfortunately common and difficult to localize using current network verification tools. Consequently, repairing a network--either manually or automatically--can be time consuming. The poster introduces a technique that uses unsatisfiable cores from network models based on satisfiability modulo theories (SMT) to accurately identify which parts of a network's configurations are likely the cause of requirement violations.

View the poster:

(Updated Feb. 27, 2019, 8 p.m.)
All department highlights and photos