P4-DPLL: accelerating SAT solving using switching ASICs. - Jinghui Jiang; Zhenpei Huang; Qiao Xiang; Lu Tang 004; Jiwu Shu (FFSPIN@SIGCOMM, 2022)

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

Poster: P4-DPLL: Accelerating SAT Solving Using Switching ASICs. - Jinghui Jiang; Zhenpei Huang; Qiao Xiang; Lu Tang 004; Jiwu Shu (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)