Accelerating SAT Solving Using Switching ASICs. - Zhenpei Huang; Xiwen Fan; Jinghui Jiang; Mingyuan Song; Lu Tang 004; Qiao Xiang; Jiwu Shu (ICPADS, 2023)

Beyond a Centralized Verifier: Scaling Data Plane Checking via Distributed, On-Device Verification. - Qiao Xiang; Chenyang Huang 005; Ridi Wen; Yuxin Wang; Xiwen Fan; Zaoxing Liu; Linghe Kong; Dennis Duan; Franck Le; Wei Sun (SIGCOMM, 2023)

Reducing Write Tail Latency of Distributed Key-Value Stores Using In-Network Chasing. - Jinghui Jiang; Xiwen Fan; Zhenpei Huang; Kairui Zhou; Qiao Xiang; Lu Tang 004; Qiang Li 045; Jiwu Shu (IWQoS, 2024)