Peng Liu
Email: lpxz.ust.hk @ gmail.com



About Me
 

Hi, I am a researcher at the IBM Watson.  
My work at ibm is to provide software and compiler solutions. 
I am also interested in improving the quality of practical systems by creatively applying fuzzing, symbolic execution and AI.


Writeup:
My summary on Reinforcement Learning: here

Drafts:

Peng Liu, Marco Pistoia, Lingfei Zeng. Parallelization of Numeric Optimization.
We design a parallelization algorithm based on a general observation to speed up the numeric optimization. It brings around 2.5X speedup in practice.

Peng Liu, Shaohan Hu, Marco Pistoia, Richard Chen, Jay M Gambetta. Stochastic Optimization of Quantum Programs.
We propose a systematic compiler optimization for quantum programs based on the Monte Carlo Markov Chain algorithm. It can even outperform the human experts in some cases.

Wen-Chuan Lee, Yingqi Liu, Peng Liu, Shiqing Ma, Hongjun Choi, Xiangyu Zhang, Rajiv Gupta. White-Box Program Tuning.
We design a novel technique that reduces the overhead of the tuning without sacrificing the effectiveness. It is 4.5X as fast as the prior art.


Publications

Peng Liu, Xiangyu Zhang, Marco Pistoia, Yunhui Zheng, Manoel Marques and Lingfei Zeng. Automatic Input Generation for Mobile Testing. In ICSE 2017. Acceptance Rate: 16.4%, 68 out of 415 submissions.
We design a deep learning based technique to solve the challenge of automatically providing the user text inputs during the monkey testing. It improves the test coverage by 60% in practice

Wei Zhang, Minwei Feng, Yunhui Zheng, Yufei Ren, Yandong Wang, Ji Liu, Peng Liu, Bing Xiang, Li Zhang, Bowen Zhou, Fei Wang. GaDei: On Scale-Up Training as a Service for Deep Learning. In ICDM 2017.
Acceptance Rate: 9.25%, 72 out of 778 submissions.
We propose a scale-up parameter server design for speeding up the deep learning. The design is proven deadlock-free.

Pietro Ferrara, Omer Tripp, Peng Liu, Eric Koskinen. Using Abstract Interpretation to Correct Synchronization Faults. In VMCAI 2017.

We propose an efficient approach for fixing a type of concurrency bugs com- monly related to Java collections and proved the correctness atop the abstract interpretation framework.

Dohyeong Kim, Yonghwi Kwon, Peng Liu, I Luk Kim, David Mitchel Perry, Xiangyu Zhang, Gustavo Rodriguez-Rivera. Apex: Automatic Programming Assignment Error Explanation. In OOPSLA 
2016.Acceptance Rate: 23%, 524 out of 2250 submissions.
We design an automatic approach for reporting the root causes of the errors of students’ assignments. Apex is used in a course given at Purdue university and precisely finds 94% root causes of the 205 student submissions.

Zhaogui Xu, Peng Liu, Xiangyu Zhang and Baowen Xu. Python Predictive Analysis for Bug Detection. In FSE 2016.
Acceptance Rate: 17%, 201 out of 1149 submissions.
We propose a solver based technique for detecting the type-related errors in Python programs. It finds 46 bugs from 11 real-world projects, with 16 new bugs.

Weihang Wang, Yunhui Zheng, Peng Liu, Lei Xu, Xiangyu Zhang and Patrick Eugster. ARROW: Automated Repair of Races on Client-Side Web Pages. In ISSTA 2016
Acceptance Rate: 25%, 37 out of 147 submissions.
We propose a solver based approach for fixing the order violations in Javascript programs
. ARROW has fixed 151 bugs from 20 real world commercial web sites.

Peng Liu, Omer Tripp, Xiangyu Zhang, IPA: Improving Predictive Analysis with Pointer Analysis. In ISSTA 2016.
Acceptance Rate: 25%, 37 out of 147 submissions.
We improve the detection capability of the predictive analysis so that it finds more concurrency bugs than previous work and reports no false positives. IPA is able to find close to 2X as many races as previous approaches.

Peng Liu, Xiangyu Zhang, Omer Tripp, Yunhui Zheng. Light: Replay via Tightly Bounded Recording. In PLDI 2015.
Acceptance Rate: 19%, 58 out of 303.
We propose the novel concurrency bug reproduction technique which ensures the replay guarantee and records the provably minimal amount of information required for the guarantee. Light has only 44% logging overhead, almost one order of magnitude lower than the prior art techniques.

Peng Liu, Omer Tripp, Charles Zhang. Grail: Context-aware Fixing of Con- currency Bugs. In FSE 2014.
Acceptance Rate: 22%, 61 out of 273.
We propose the automatic fixing for concurrency bugs, which ensures the cor- rectness guarantee while imposing the minimal restriction to the concurrent executions. Our fixes are correct and incur only 2% runtime overhead, which is around 40% of the overhead incurred by the prior art.

Peng Liu, Omer Tripp, Xiangyu Zhang. Flint: Fixing Linearizability Violations. In OOPSLA 2014.
Acceptance Rate: 29%, 53 out 185.
Received the Badge for the Software Artifact Validated.

We propose the automatic approach for fixing a type of concurrency bugs (namely incorrect compositions) related to the Java Collections. Flint fixes 96% of the incorrect compositions from the popular applications including Tomcat and MyFaces.

Peng Liu, Charles Zhang. Unleashing Concurrency for Irregular Data Struc- tures. In ICSE 2014.
Acceptance Rate: 20%, 99 out of 495.
We propose the automatic approach for improving the performance of concurrent data structures by converting the coarse-grained locking to fine-grained locking. It leads to at least 7%-20% speedup and up to 2X speedup.

Peng Liu, Julian Dolby, and Charles Zhang. Finding incorrect compositions of atomicity. In FSE 2013.
Acceptance Rate: 20%, 51 out of 251.
Received the Badge for the Software Artifact Validated.

We propose an approach for detecting a type of concurrency bugs (called the incorrect compositions). It finds 5 new bugs in Tomcat which are confirmed by the developers. Note Tomcat is heavily used in 250,000 sites including Linkedin.com and Ebay.com.

Peng Liu, Charles Zhang. Axis: automatically fixing atomicity violations through solving control constraints. In ICSE 2012.
Acceptance Rate: 21.3%, 87 out of 408.
We propose the first fixing approach that fixes concurrency bugs with the correctness guarantee (e.g., deadlock-freeness). With the deadlock-free guarantee, our fixes incur the moderate overhead (around 10%).

Yin Wang,Peng Liu, Terence Kelly, St ÌĄephane Lafortune, Spyros A. Reveliotis, Charles Zhang. On atomicity enforcement in concurrent software via discrete event systems theory. In CDC 2012.
Invited Paper.

We formally revise the control theory so that it applies to the concurrency bug fixing.

Peng Liu, Charles Zhang. Pert: The Application-Aware Tailoring of Java Object Persistence. In TSE 2012.
We propose the optimization that improves the perfromance of the object serialization commonly used by the enterprise applications. It speeds up the conventional persistence operations by 1 to 45 times.

Jeff Huang, Peng Liu, and Charles Zhang. LEAP: lightweight deterministic multi-processor replay of concurrent java programs. In FSE 2010.
Acceptance Rate: 20%, 34 out of 170.
We propose a lightweight approach for reproducing the concurrency bugs. It can reproduce 7 out of 8 real bugs in Tomcat and Derby.