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
cjablonski@colgate.edu

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 (https://www.usenix.org/conference/nsdi19).

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: https://aaron.gember-jacobson.com/docs/nsdi2019localizingerrors_poster.pdf

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