Publication

2022

P4-DPLL: accelerating SAT solving using switching ASICs

Jinghui Jiang, Zhenpei Huang, Qiao Xiang, Lu Tang, Jiwu Shu
https://dl.acm.org/doi/10.1145/3528082.3544835

Toward low-latency end-to-end communication in 5G using interdomain edge peering

Yuxin Wang, Qiao Xiang, Jiwu Shu, Geng Li, Linghe Kong
https://dl.acm.org/doi/abs/10.1145/3538401.3546600

Switch as a Verifier: Toward Scalable Data Plane Checking via Distributed, On-Device Verification

Qiao Xiang, Ridi Wen, Chenyang Huang, Yuxin Wang, Franck Le
https://arxiv.org/abs/2205.07808