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