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.

Peng Zhang

Professor

Ning Kang

Ph.D. Candidate

Dan Wang

Ph.D. Candidate

Zhenrong Gu

Master Student

Jianyuan Zhang

Undergraduate