LEAP: lightweight deterministic multi-processor replay of concurrent java programs. - Jeff Huang 001; Peng Liu 010; Charles Zhang 001 (SIGSOFT FSE, 2010)

On atomicity enforcement in concurrent software via Discrete Event Systems theory. - Yin Wang 001; Peng Liu 010; Terence Kelly; Stéphane Lafortune; Spyros A. Reveliotis; Charles Zhang (CDC, 2012)

Axis: Automatically fixing atomicity violations through solving control constraints. - Peng Liu 010; Charles Zhang 001 (ICSE, 2012)

Pert: The Application-Aware Tailoring of Java Object Persistence. - Peng Liu 010; Charles Zhang 001 (IEEE Trans. Software Eng., 2012)

Finding incorrect compositions of atomicity. - Peng Liu 010; Julian Dolby; Charles Zhang 001 (ESEC/SIGSOFT FSE, 2013)

Unleashing concurrency for irregular data structures. - Peng Liu 010; Charles Zhang 001 (ICSE, 2014)

Flint: fixing linearizability violations. - Peng Liu 010; Omer Tripp; Xiangyu Zhang 001 (OOPSLA, 2014)

Grail: context-aware fixing of concurrency bugs. - Peng Liu 010; Omer Tripp; Charles Zhang 001 (SIGSOFT FSE, 2014)

Light: replay via tightly bounded recording. - Peng Liu 010; Xiangyu Zhang 001; Omer Tripp; Yunhui Zheng (PLDI, 2015)

IPA: improving predictive analysis with pointer analysis. - Peng Liu 010; Omer Tripp; Xiangyu Zhang 001 (ISSTA, 2016)

ARROW: automated repair of races on client-side web pages. - Weihang Wang 001; Yunhui Zheng; Peng Liu 010; Lei Xu 003; Xiangyu Zhang 001; Patrick Eugster (ISSTA, 2016)

Apex: automatic programming assignment error explanation. - Dohyeong Kim; Yonghwi Kwon 001; Peng Liu 010; I Luk Kim; David Mitchel Perry; Xiangyu Zhang 001; Gustavo Rodriguez-Rivera (OOPSLA, 2016)

Python predictive analysis for bug detection. - Zhaogui Xu; Peng Liu 010; Xiangyu Zhang 001; Baowen Xu (SIGSOFT FSE, 2016)

GaDei: On Scale-up Training As A Service For Deep Learning. - Wei Zhang 057; Minwei Feng; Yunhui Zheng; Yufei Ren; Yandong Wang; Ji Liu; Peng Liu 010; Bing Xiang; Li Zhang 002; Bowen Zhou 002 (CoRR, 2016)

GaDei: On Scale-Up Training as a Service for Deep Learning. - Wei Zhang 057; Minwei Feng; Yunhui Zheng; Yufei Ren; Yandong Wang; Ji Liu; Peng Liu 010; Bing Xiang; Li Zhang 002; Bowen Zhou 002; Fei Wang 001 (ICDM, 2017)

Automatic text input generation for mobile testing. - Peng Liu 010; Xiangyu Zhang 001; Marco Pistoia; Yunhui Zheng; Manoel Marques; Lingfei Zeng (ICSE, 2017)

Using Abstract Interpretation to Correct Synchronization Faults. - Pietro Ferrara 001; Omer Tripp; Peng Liu 010; Eric Koskinen (VMCAI, 2017)

Automatically solving NP-complete problems on a quantum computer. - Shaohan Hu; Peng Liu 010; Chun-Fu (Richard) Chen; Marco Pistoia (ICSE (Companion Volume), 2018)

White-Box Program Tuning. - Wen-Chuan Lee; Yingqi Liu; Peng Liu 010; Shiqing Ma; Hongjun Choi; Xiangyu Zhang 001; Rajiv Gupta 001 (CGO, 2019)

Programming support for autonomizing software. - Wen-Chuan Lee; Peng Liu 010; Yingqi Liu; Shiqing Ma; Xiangyu Zhang 001 (PLDI, 2019)

Reduction-Based Problem Mapping for Quantum Computing. - Shaohan Hu; Peng Liu 010; Chun-Fu (Richard) Chen; Marco Pistoia; Jay M. Gambetta (Computer, 2019)

Stochastic Optimization of Quantum Programs. - Peng Liu 010; Shaohan Hu; Marco Pistoia; Chun-Fu (Richard) Chen; Jay M. Gambetta (Computer, 2019)

Parallelization of Classical Numerical optimization in Quantum Variational Algorithms. - Marco Pistoia; Peng Liu 010; Chun-Fu (Richard) Chen; Shaohan Hu; Stephen P. Wood (ICST, 2020)