Linked Presentation: Contra: A Programmable System for Performance-aware Routing Finding Network Misconfigurations by Automatic Template Inference