| 2025 | HCI | Research on Evaluation Methods of Operational Safety Maturity of Airlines Based on Human Factors. | Jicheng Li, Yijie Sun, Ping Gao, Yuan Zhang |
| 2025 | ICCV | Unsupervised Histopathological Image Semantic Segmentation with Overlapping Patches Consistency Constraint. | Wentian Cai, Weizhao Weng, Zihao Huang, Yandan Chen, Siquan Huang, Ping Gao, Victor C. M. Leung, Ying Gao |
| 2023 | SC | Enabling Real World Scale Structural Superlubricity All-Atom Simulation on the Next-Generation Sunway Supercomputer. | Xiaohui Duan, Jin Wang, Ping Gao, Ming Ma, Lin Gan, Xin Liu, Haohuan Fu, Wei Xue, Dexun Chen, Guangwen Yang, Weiguo Liu |
| 2023 | SC | 69.7-PFlops Extreme Scale Earthquake Simulation with Crossing Multi-faults and Topography on Sunway. | Wubing Wan, Lin Gan, Wenqiang Wang, Zekun Yin, Haodong Tian, Zhenguo Zhang, Yinuo Wang, Mengyuan Hua, Xiaohui Liu, Shengye Xiang, Zhongqiu He, Zijia Wang, Ping Gao, Xiaohui Duan, Weiguo Liu, Wei Xue, Haohuan Fu, Guangwen Yang, Xiaofei Chen, Zeyu Song, Yaojian Chen, Xin Liu, Wei Zhang |
| 2021 | SC | LMFF: efficient and scalable layered materials force field on heterogeneous many-core processors. | Ping Gao, Xiaohui Duan, Jiaxu Guo, Jin Wang, Zhenya Song, Lizhen Cui, Xiangxu Meng, Xin Liu, Wusheng Zhang, Ming Ma, Guohui Li, Dexun Chen, Haohuan Fu, Wei Xue, Weiguo Liu, Guangwen Yang |
| 2021 | VEE | Adaptive live migration of virtual machines under limited network bandwidth. | Handong Li, Guangrong Xiao, Yulei Zhang, Ping Gao, Qiumin Lu, Jianguo Yao |
| 2020 | ICASSP | A Multi-Dilation and Multi-Resolution Fully Convolutional Network for Singing Melody Extraction. | Ping Gao, Cheng-You You, Tai-Shih Chi |
| 2020 | PPoPP | Neighbor-list-free molecular dynamics on sunway TaihuLight supercomputer. | Xiaohui Duan, Ping Gao, Meng Zhang, Tingjian Zhang, Hongsong Meng, Yuxuan Li, Bertil Schmidt, Haohuan Fu, Lin Gan, Wei Xue, Guangwen Yang, Weiguo Liu |
| 2020 | SC | Cell-list based molecular dynamics on many-core processors: a case study on sunway TaihuLight supercomputer. | Xiaohui Duan, Ping Gao, Meng Zhang, Tingjian Zhang, Hongsong Meng, Yuxuan Li, Bertil Schmidt, Haohuan Fu, Lin Gan, Wei Xue, Weiguo Liu, Guangwen Yang |
| 2019 | SC | SW_GROMACS: accelerate GROMACS on Sunway TaihuLight. | Tingjian Zhang, Yuxuan Li, Ping Gao, Qi Shao, Mingshan Shao, Meng Zhang, Jinxiao Zhang, Xiaohui Duan, Zhao Liu, Lin Gan, Haohuan Fu, Wei Xue, Weiguo Liu, Guangwen Yang |
| 2018 | ICDCS | Efficient Sharing and Fine-Grained Scheduling of Virtualized GPU Resources. | Xiaohui Zhao, Jianguo Yao, Ping Gao, Haibing Guan |
| 2018 | ICPP | SPECTR: Scalable Parallel Short Read Error Correction on Multi-core and Many-core Architectures. | Kai Xu, Robin Kobus, Yuandong Chan, Ping Gao, Xiangxu Meng, Yanjie Wei, Bertil Schmidt, Weiguo Liu |
| 2018 | SC | Redesigning LAMMPS for peta-scale and hundred-billion-atom simulation on Sunway TaihuLight. | Xiaohui Duan, Ping Gao, Tingjian Zhang, Meng Zhang, Weiguo Liu, Wusheng Zhang, Wei Xue, Haohuan Fu, Lin Gan, Dexun Chen, Xiangxu Meng, Guangwen Yang |
| 2016 | ISAIM | Application of Hierarchical Hybrid Encodings to Solve CSPs as Equivalent SAT Problems. | Miroslav N. Velev, Ping Gao |
| 2014 | ASPDAC | Efficient parallel GPU algorithms for BDD manipulation. | Miroslav N. Velev, Ping Gao |
| 2014 | ICCAD | Improving the efficiency of automated debugging of pipelined microprocessors by symmetry breaking in modular schemes for boolean encoding of cardinality. | Miroslav N. Velev, Ping Gao |
| 2012 | ASPDAC | Automated debugging of counterexamples in formal verification of pipelined microprocessors. | Miroslav N. Velev, Ping Gao |
| 2011 | ASPDAC | Automatic formal verification of reconfigurable DSPs. | Miroslav N. Velev, Ping Gao |
| 2011 | ICCAD | Automatic formal verification of multithreaded pipelined microprocessors. | Miroslav N. Velev, Ping Gao |
| 2011 | ICFEM | Exploiting Abstraction for Efficient Formal Verification of DSPs with Arrays of Reconfigurable Functional Units. | Miroslav N. Velev, Ping Gao |
| 2011 | ISCAS | CNF encodings of cardinality in formal methods for robustness checking of gate-level circuits. | Miroslav N. Velev, Ping Gao |
| 2010 | ASPDAC | A method for debugging of pipelined processors in formal verification by correspondence checking. | Miroslav N. Velev, Ping Gao |
| 2010 | ICFEM | Method for Formal Verification of Soft-Error Tolerance Mechanisms in Pipelined Microprocessors. | Miroslav N. Velev, Ping Gao |
| 2010 | ISAIM | Design of parallel portfolios for SAT-based solving of Hamiltonian cycle problems. | Miroslav N. Velev, Ping Gao |
| 2010 | ICTD | Challenges of egovernment in developing countries: actor-network analysis of Thailand's smart ID card project. | Panom Gunawong, Ping Gao |
| 2008 | DATE | Comparison of Boolean Satisfiability Encodings on FPGA Detailed Routing Problems. | Miroslav N. Velev, Ping Gao |
| 2006 | GLOBECOM | Practical Issues in Parameter Estimation over Fading Channels with TBMA Wireless Sensor Networks. | Ping Gao, Cihan Tepedelenlioglu |
| 2005 | ICASSP | Space-time coding over MIMO channels with impulsive noise. | Ping Gao, Cihan Tepedelenlioglu |
| 2004 | GLOBECOM | On diversity reception over fading channels with impulsive noise. | Cihan Tepedelenlioglu, Ping Gao |
| 2004 | ICASSP | Performance of diversity reception over fading channels with impulsive noise. | Cihan Tepedelenlioglu, Ping Gao |
| 2004 | WCNC | SNR estimation for non-constant modulus constellations. | Ping Gao, Cihan Tepedelenlioglu |
| 2003 | GLOBECOM | Practical issues in the estimation of Nakagami-m parameter. | Cihan Tepedelenlioglu, Ping Gao |
| 1999 | ICASSP | Classification of landmine-like metal targets using wideband electromagnetic induction. | Ping Gao, Leslie M. Collins, Norbert Geng, Lawrence Carin, Dean A. Keiswetter, I. J. Won |