Network configuration synthesis with abstract topologies.

Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker

Browse the full PLDI paper archive.