A Heap Model for Java Bytecode to Support Separation Logic. - Chenguang Luo; Guanhua He; Shengchao Qin (APSEC, 2008)

From Word Automata to Tree Automata. - Chenguang Luo (ICYCS, 2008)

Separation Logic for Multiple Inheritance. - Chenguang Luo; Shengchao Qin (FICS, 2008)

Verifying BPEL-like programs with Hoare logic. - Chenguang Luo; Shengchao Qin; Zongyan Qiu (Frontiers Comput. Sci. China, 2008)

Memory Usage Verification Using Hip/Sleek. - Guanhua He; Shengchao Qin; Chenguang Luo; Wei-Ngan Chin (ATVA, 2009)

Heap Memory Requirements Analysis via Separation Logic. - Guanhua He; Chenguang Luo (TASE, 2009)

Discovering Specifications for Unknown Procedures - Work in Progress. - Florin Craciun; Chenguang Luo; Guanhua He; Shengchao Qin; Wei-Ngan Chin (WING@ETAPS/IJCAR, 2010)

Loop Invariant Synthesis in a Combined Domain. - Shengchao Qin; Guanhua He; Chenguang Luo; Wei-Ngan Chin (ICFEM, 2010)

Verifying Heap-Manipulating Programs with Unknown Procedure Calls. - Shengchao Qin; Chenguang Luo; Guanhua He; Florin Craciun; Wei-Ngan Chin (ICFEM, 2010)

Verifying pointer safety for programs with unknown calls. - Chenguang Luo; Florin Craciun; Shengchao Qin; Guanhua He; Wei-Ngan Chin (J. Symb. Comput., 2010)

Automatically Refining Partial Specifications for Program Verification. - Shengchao Qin; Chenguang Luo; Wei-Ngan Chin; Guanhua He (FM, 2011)

Verification of pointer-based programs with partial information. - Chenguang Luo (2011)

Loop invariant synthesis in a combined abstract domain. - Shengchao Qin; Guanhua He; Chenguang Luo; Wei-Ngan Chin; Xin Chen 027 (J. Symb. Comput., 2013)

Automatically refining partial specifications for heap-manipulating programs. - Shengchao Qin; Guanhua He; Chenguang Luo; Wei-Ngan Chin; Hongli Yang (Sci. Comput. Program., 2014)

Oversampling Algorithm based on Reinforcement Learning in Imbalanced Problems. - Ying Zhou; Jiangang Shu; Xiaoxiong Zhong; Xingsen Huang; Chenguang Luo; Jianwen Ai (GLOBECOM, 2020)