Network Synthesis

Correctly configuring a large network is a challenging and risky task for human operators. So we ask whether we can automatically generate the network configs, just like automatic generation of programs? We tentatively think this is possible, given the success of hardware synthesis and program synthesis, and of course the emergence of LLM. In this direction, we will try to adapt those techniques to the synthesize network configs or repair plans, so that a network can autonomously run and heal without any human.

Active Members
Peng Zhang
Professor
Xu Liu
Ph.D Student
Ning Kang
Ph.D Student
Selected Publications
Xu Liu Peng Zhang
Anubhavnidhi Abhashkumar
Jiawei Chen
 and 
Weirong Jiang
Proceedings of ACM HotNets'24
Hao Li
Changhao Wu
Guangda Sun
Peng Zhang
Danfeng Shan
Tian Pan
 and 
Chengchen Hu
Proceedings of USENIX NSDI'21