| 2020 | GLOBECOM | Oversampling Algorithm based on Reinforcement Learning in Imbalanced Problems. | Ying Zhou, Jiangang Shu, Xiaoxiong Zhong, Xingsen Huang, Chenguang Luo, Jianwen Ai |
| 2011 | FM | Automatically Refining Partial Specifications for Program Verification. | Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He |
| 2010 | CADE | Discovering Specifications for Unknown Procedures - Work in Progress. | Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin |
| 2010 | ICFEM | Loop Invariant Synthesis in a Combined Domain. | Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin |
| 2010 | ICFEM | Verifying Heap-Manipulating Programs with Unknown Procedure Calls. | Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin |
| 2009 | ATVA | Memory Usage Verification Using Hip/Sleek. | Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin |
| 2009 | TASE | Heap Memory Requirements Analysis via Separation Logic. | Guanhua He, Chenguang Luo |
| 2008 | APSEC | A Heap Model for Java Bytecode to Support Separation Logic. | Chenguang Luo, Guanhua He, Shengchao Qin |
| 2008 | TASE | Verifying BPEL-Like Programs with Hoare Logic. | Chenguang Luo, Shengchao Qin, Zongyan Qiu |