Chenguang Luo

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