Computer Science Department
McGregory Hall, 3rd Floor
13 Oak Drive
Hamilton, NY 13346
Charlotte Jablonski, Administrative Assistant
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.
(From left) Prof. Aaron Gember-Jacobson, Ruchit Shrestha '20, and Xiaolin Sun' 20 presenting a poster a NSDI 2019