Chenguang Luo

According to our database, Chenguang Luo authored at least 15 papers between 2008 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Oversampling Algorithm based on Reinforcement Learning in Imbalanced Problems.

Ying Zhou, Jiangang Shu, Xiaoxiong Zhong, Xingsen Huang, Chenguang Luo, Jianwen Ai

Proceedings of the IEEE Global Communications Conference, 2020

2014

Automatically refining partial specifications for heap-manipulating programs.

Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Hongli Yang

Sci. Comput. Program., 2014

2013

Loop invariant synthesis in a combined abstract domain.

Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Xin Chen

J. Symb. Comput., 2013

2011

Verification of pointer-based programs with partial information.

Chenguang Luo

PhD thesis, 2011

Automatically Refining Partial Specifications for Program Verification.

Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He

Proceedings of the FM 2011: Formal Methods, 2011

2010

Verifying pointer safety for programs with unknown calls.

Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin

J. Symb. Comput., 2010

Verifying Heap-Manipulating Programs with Unknown Procedure Calls.

Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin

Proceedings of the Formal Methods and Software Engineering, 2010

Loop Invariant Synthesis in a Combined Domain.

Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin

Proceedings of the Formal Methods and Software Engineering, 2010

Discovering Specifications for Unknown Procedures - Work in Progress.

Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin

Proceedings of the Second International Workshop on Invariant Generation, 2010

2009

Heap Memory Requirements Analysis via Separation Logic.

Guanhua He, Chenguang Luo

Proceedings of the TASE 2009, 2009

Memory Usage Verification Using Hip/Sleek.

Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Verifying BPEL-like programs with Hoare logic.

Chenguang Luo, Shengchao Qin, Zongyan Qiu

Frontiers Comput. Sci. China, 2008

Separation Logic for Multiple Inheritance.

Chenguang Luo, Shengchao Qin

Proceedings of the First International Conference on Foundations of Informatics, 2008

From Word Automata to Tree Automata.

Chenguang Luo

Proceedings of the 9th International Conference for Young Computer Scientists, 2008

A Heap Model for Java Bytecode to Support Separation Logic.

Chenguang Luo, Guanhua He, Shengchao Qin

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008