We are a team of researchers focusing on the verfication, simulation, and synthesis of large and complex computer networks, e.g., datacenter networks, and wide area networks. We have proposed several verifiers like APKeep (NSDI '20), DNA (NSDI '22), SRE (SIGCOMM '22), MNV (CoNEXT '23), Expresso (SIGCOMM '24), S2 (SIGCOMM '25), REAL (NSDI '26), and new data structures like NDD (NSDI '25). Most of them are open sourced.

Xi'an Jiaotong University