Our complexity paper was accepted to ICNP'22
Our paper on the complexity of configuration synthesis was accepted to ICNP'22 after the first submission!
We are very proud to announce that our complexity analysis was accepted to ICNP'22. The camera-ready version is approved by our Ryan Beckett, and submitted to IEEE. I want to thank Roland Schmid, Laurent Vanbever, Ryan Beckett, and João Sobrinho for their collaboration and support.
Tibor Schneider
PhD Student
My research interests include verification and synthesis of network configuration.