| 2026 | ICDE | RL-Paxos: Relieving the Leader's Burden with Efficient Task Offloading in Distributed Consensus. | Chenhao Zhang, Jinquan Wang, Meng Han, Bing Wei, Xiaojian Liao, Limin Xiao, Shanchen Pang |
| 2025 | ASPLOS | CoServe: Efficient Collaboration-of-Experts (CoE) Model Inference with Limited Memory. | Jiashun Suo, Xiaojian Liao, Limin Xiao, Li Ruan, Jinquan Wang, Xiao Su, Zhisheng Huo |
| 2025 | DATE | Swift-Sim: A Modular and Hybrid GPU Architecture Simulation Framework. | Xiangrong Xu, Yuanqiu Lv, Liang Wang, Limin Xiao, Meng Han, Runnan Shen, Jinquan Wang |
| 2025 | MICRO | Amove: Accelerating LLMs through Mitigating Outliers and Salient Points via Fine-Grained Grouped Vectorized Data Type. | Xilong Xie, Liang Wang, Limin Xiao, Meng Han, Lei Liu, Xiangrong Xu, Jinquan Wang, Zhen Song, Xiaojian Liao |
| 2023 | ICPADS | Accelerating zk-SNARK with Group and Zone Optimization on GPU. | Runnan Shen, Liang Wang, Haotian Luo, Rui Yang, Jinqian Yang, Jinquan Wang, Qiancheng Sun, Limin Xiao, Jin Dong |
| 2007 | SNPD | Double Unmanned Air Vehicle's Path Planning for Scout via Cross-Entropy Method. | Jinquan Wang, Xiaoguang Gao, Jianguo Shi, Zhengsheng Li |
| 2006 | FM | Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach. | Yujun Zheng, Jinquan Wang, Kan Wang, Jinyun Xue |