Peng

Liu, Peng

Room 4208

Department of Computer Science and Engineering

Hong Kong University of Science and Technology

Clear Water Bay, Hong Kong

Email: lpxzATcse.ust.hk

General information

Dr. Charles Zhang

USTC

Research interests

Guaranteeing the safety and preserving the concurrency for automatic concurrent bug fixing (with the discrete control theory)

Identifying a balance point between the expressiveness and simplicity of atomicity specification

Optimizing the object persistence by guiding it in an intelligent way

Record and Replay

Research work

  Peng Liu, 
   Yin Wang, 
    Terence Kelly, 
   Charles Zhang. 
    	 GRAIL: General Restoration of Atomicity, Isolation, and Liveness.  
    	 In submission
	  
Peng Liu, 
	     Charles Zhang. 
    	AXIS: Automatically Fixing Atomicity Violations Through Solving Control Constraints. 
    	In ICSE 2012 
	  

	  
	  
	Peng Liu, 
	 Charles Zhang. 
	PERT: 
	The Application Specific Tailoring of Object Persistence. 
	In TSE 

	  Shaoming 	Huang, 
	Peng Liu, 
	 Charles Zhang. 
	LEAP: Lightweight deterministic 
	multiprocessor replay for concurrent Java programs. 
	In FSE 2010 

	
	

Hobbies: Reading, Music, Basketball