Satisfiability modulo ordering consistency theory for multi-threaded program verification. - Fei He 001; Zhihang Sun; Hongyu Fan (PLDI, 2021)

Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution). - Fei He 001; Zhihang Sun; Hongyu Fan (TACAS (2), 2022)

Consistency-preserving propagation for SMT solving of concurrent program verification. - Zhihang Sun; Hongyu Fan; Fei He 001 (Proc. ACM Program. Lang., 2022)

Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models. - Hongyu Fan; Zhihang Sun; Fei He 001 (ACM Trans. Program. Lang. Syst., 2023)

SMRU: Split-And-Merge Recurrent-Based UNet For Acoustic Echo Cancellation And Noise Suppression. - Zhihang Sun; Andong Li; Rilin Chen; Hao Zhang 112; Meng Yu 003; Yi Zhou 014; Dong Yu 001 (SLT, 2024)

SMRU: Split-and-Merge Recurrent-based UNet for Acoustic Echo Cancellation and Noise Suppression. - Zhihang Sun; Andong Li; Rilin Chen; Hao Zhang; Meng Yu; Yi Zhou; Dong Yu (CoRR, 2024)

Towards Building Human-like Smart Agents in Modern 3D Video Games (Student Abstract). - Zhihang Sun; Shuhan Qi; Xinhao Huang; Xinyu Xiao; Jiajia Zhang 001; Xuan Wang 002; Peixi Peng (AAAI, 2025)

Neural Vocoders as Speech Enhancers. - Andong Li; Zhihang Sun; Fengyuan Hao; Xiaodong Li 002; Chengshi Zheng (CoRR, 2025)

Learning Neural Vocoder from Range-Null Space Decomposition. - Andong Li; Tong Lei; Zhihang Sun; Rilin Chen; Erwei Yin; Xiaodong Li 002; Chengshi Zheng (CoRR, 2025)