I am a graduate student supervised by
Dr. Charles Zhang, since
the year of 2008 when I graduated from USTC.
My research interests generally lie in performance optimization,
detection and fixing of concurrency-related bugs.
Peng Liu, Julian Dolby, Charles
Zhang. Finding Incorrect Compositions of Atomicity. FSE
AXIS: Automatically Fixing Atomicity Violations Through Solving Control Constraints.
The Application Specific Tailoring of Object Persistence. TSE 2012
Yin Wang, Peng Liu, Terence
Kelly, Stephane Lafortune, Spyros Reveliotis, Charles Zhang. On
Atomicity Enforcement in Concurrent Software via Discrete Event Systems
Theory. Decisions and Control 2012
LEAP: Lightweight deterministic
multiprocessor replay for concurrent Java programs. FSE 2010