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.