large product photo

Not young, sometimes naive.

Liu, Peng


Department of Computer Science and Engineering

Hong Kong University of Science and Technology


   About me:

 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.

   Research work:

  • Peng Liu, Julian Dolby, Charles Zhang. Finding Incorrect Compositions of Atomicity.  FSE 2013

  • Peng Liu, Charles Zhang. AXIS: Automatically Fixing Atomicity Violations Through Solving Control Constraints. ICSE 2012

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

      Related work:

  • 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
  • Shaoming Huang, Peng Liu, Charles Zhang. LEAP: Lightweight deterministic multiprocessor replay for concurrent Java programs. FSE 2010

   Hobbies: Basketball