Chenguang Luo

Publication Activity (10 Years)

Years Active: 2008-2020
Publications (10 Years): 1

Top Venues

Sci. Comput. Program.

GLOBECOM

J. Symb. Comput.

Durham University, UK (PHD)

Education History

Durham University, UK

PHD

Publications

Ying Zhou, Jiangang Shu, Xiaoxiong Zhong, Xingsen Huang, Chenguang Luo, Jianwen Ai
Oversampling Algorithm based on Reinforcement Learning in Imbalanced Problems. GLOBECOM (2020)
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Hongli Yang
Automatically refining partial specifications for heap-manipulating programs. Sci. Comput. Program. 82 (2014)
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Xin Chen
Loop invariant synthesis in a combined abstract domain. J. Symb. Comput. 50 (2013)
Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He
Automatically Refining Partial Specifications for Program Verification. FM (2011)
Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin
Verifying Heap-Manipulating Programs with Unknown Procedure Calls. ICFEM (2010)
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin
Loop Invariant Synthesis in a Combined Domain. ICFEM (2010)
Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin
Discovering Specifications for Unknown Procedures - Work in Progress. WING@ETAPS/IJCAR (2010)
Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin
Verifying pointer safety for programs with unknown calls. J. Symb. Comput. 45 (11) (2010)
Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin
Memory Usage Verification Using Hip/Sleek. ATVA (2009)
Guanhua He, Chenguang Luo
Heap Memory Requirements Analysis via Separation Logic. TASE (2009)
Chenguang Luo, Shengchao Qin, Zongyan Qiu
Verifying BPEL-Like Programs with Hoare Logic. TASE (2008)
Chenguang Luo, Shengchao Qin
Separation Logic for Multiple Inheritance. Electron. Notes Theor. Comput. Sci. 212 (2008)
Chenguang Luo, Shengchao Qin, Zongyan Qiu
Verifying BPEL-like programs with Hoare logic. Frontiers Comput. Sci. China 2 (4) (2008)
Chenguang Luo
From Word Automata to Tree Automata. ICYCS (2008)
Chenguang Luo, Guanhua He, Shengchao Qin
A Heap Model for Java Bytecode to Support Separation Logic. APSEC (2008)

Chenguang Luo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Chenguang Luo