Author of the publication

NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion.

, , , and . NSDI, page 579-594. USENIX Association, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Network-wide Configuration Synthesis., , , and . CoRR, (2016)Network-Wide Configuration Synthesis., , , and . CAV (2), volume 10427 of Lecture Notes in Computer Science, page 261-281. Springer, (2017)SDNRacer: concurrency analysis for software-defined networks., , , , and . PLDI, page 402-415. ACM, (2016)NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion., , , and . NSDI, page 579-594. USENIX Association, (2018)Design and Implementation of a Unified Network Information Service., , , and . IEEE SCC, page 224-231. IEEE Computer Society, (2013)Efficient communication and collection with compact normal forms., , , , , and . ICFP, page 362-374. ACM, (2015)BigBug: Practical Concurrency Analysis for SDN., , , and . SOSR, page 88-94. ACM, (2017)SDNRacer: detecting concurrency violations in software-defined networks., , , , and . SOSR, page 22:1-22:7. ACM, (2015)Towards reliable network control planes.. ETH Zurich, Zürich, Switzerland, (2019)base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/429488).Scalable integrated performance analysis of multi-gigabit networks., , , , , , and . NOMS, page 1227-1233. IEEE, (2012)