Computer Science Department
McGregory Hall, 3rd Floor
13 Oak Drive
Hamilton, NY 13346
Charlotte Jablonski, Administrative Assistant
Start: Tuesday, October 24, 2017, 11:30 a.m.
End: Tuesday, October 24, 2017, 12:20 p.m.
Location: 319 McGregory Hall
Speaker: Prof. Aaron Gember-Jacobson
Abstract: Computer network outages and security breaches are often the result of errors in the configurations of network routers. Manually repairing these configurations is daunting because of their inter-twined nature across routers and traffic classes. Inspired by recent work in automatic program repair, we introduce CPR, a system that automatically computes correct, minimal repairs for network configurations. CPR casts configuration repair as a MaxSMT problem whose constraints are based on a digraph-based representation of the configurations' semantics. Using configurations from 96 data center networks, we show that CPR produces repairs in less than a minute for 98% of the networks, and these repairs requiring changing the same or fewer lines of configuration than hand-written repairs in 79% of cases.