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.

张鹏

Professor

康宁

Assistant Professor

顾真榕

Master Student

张健源

Undergraduate

王议甲

Undergraduate