People Search
Phones, Emails, Addresses, Background check, Web references
All public info
Like other search engines (Google or Bing) Radaris collects information from public sources.
Department of Computer Science, and; Ustinov College; Durham University; Email: chenguang.luo A_TAIL durham DOT ac DOT uk; Education: 2007 - prsnt Department of Computer Science, Durham
Shape and memory analysis. G. He and C. Luo. Memory Requirement Inference via Separation Logic (Poster), The 3nd IEEE/IFIP International Symposium on Theoretical Aspects of ...
[ICFEM10a] Shengchao Qin, Guanhua He, Chenguang Luo, and Wei-Ngan Chin. Loop Invariant Synthesis in a Combined Domain. Formal Methods and Software Engineering (ICFEM2010).
Shengchao Qin, Guanhua He, Chenguang Luo, and Wei-Ngan Chin. Loop Invariant Synthesis in a Combined Domain. Formal Methods and Software Engineering (ICFEM2010).
Chenguang Luo, Shengchao Qin, Zongyan Qiu. Frontiers of Computer Science in China, Vol. 2, No. 4. (1 December 2008), pp. 344-356. Abstract The WS-BPEL language has ...
Department of Computer Science, and; Ustinov College; Durham University; Email: chenguang.luo A_TAIL durham DOT ac DOT uk; Education: 2007 - prsnt Department of Computer Science ...
Shape and memory analysis. G. He and C. Luo. Memory Requirement Inference via Separation Logic (Poster), The 3nd IEEE/IFIP International Symposium on Theoretical ...
Verifying Pointer Safety for Programs with Unknown Calls Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He Durham University, Durham DH13LE, UK Wei-Ngan Chin National ...
Department of Computer Science, and; Ustinov College; Durham University; Email: chenguang.luo A_TAIL durham DOT ac DOT uk ...
So this page also contains manuscripts of research paper by Chenguang Luo ...
Durham, United Kingdom - PhD student at Durham UniversityView Chenguang Luo's (United Kingdom) professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like ...
Guanhua He, Chenguang Luo: Heap Memory Requirements Analysis via Separation Logic. ... Chenguang Luo: From Word Automata to Tree Automata. ICYCS 2008: 94-99 ...
Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, and Wei-Ngan Chin. ... Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin and Wei-Ngan Chin. ...
[ICFEM10a] Shengchao Qin, Guanhua He, Chenguang Luo, and Wei-Ngan Chin. ...
by G He -
TASE'2008. pp.151~158 Cited By 3[Bibtex]. [3], Chenguang Luo. From Word Automata to Tree Automata. ICYCS'2008. pp.94~99 [Bibtex] ...
[4], Chenguang Luo, Shengchao Qin, Zongyan Qiu. Verifying BPEL-Like Programs with Hoare Logic. TASE'2008. pp.151~158 Cited By 3[Bibtex]. [3], Chenguang Luo. ...
Linkedin
Citigroup (Public Company; C; Financial Services industry): Software engineer (summer analyst), (July 2009-August 2009)
Citi (Public ...