@inproceedings{nsdi2018netcomplete,
  title={{NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion}},
  author={Ahmed El-Hassany and Petar Tsankov and Laurent Vanbever and Martin Vechev},
  booktitle={{USENIX NSDI'18}},
  year={2018},
  address={Renton, WA, USA}
}