Peng Liu

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 11

Top Topics

Stochastic Optimization

Reducing The Search Space

Quantum Computing

Top Venues

Publications

Marco Pistoia, Peng Liu, Chun-Fu (Richard) Chen, Shaohan Hu, Stephen P. Wood
Parallelization of Classical Numerical optimization in Quantum Variational Algorithms. ICST (2020)
Shaohan Hu, Peng Liu, Chun-Fu (Richard) Chen, Marco Pistoia, Jay M. Gambetta
Reduction-Based Problem Mapping for Quantum Computing. Computer 52 (6) (2019)
Peng Liu, Shaohan Hu, Marco Pistoia, Chun-Fu (Richard) Chen, Jay M. Gambetta
Stochastic Optimization of Quantum Programs. Computer 52 (6) (2019)
Shaohan Hu, Peng Liu, Chun-Fu (Richard) Chen, Marco Pistoia
Automatically solving NP-complete problems on a quantum computer. ICSE (Companion Volume) (2018)
Peng Liu, Xiangyu Zhang, Marco Pistoia, Yunhui Zheng, Manoel Marques, Lingfei Zeng
Automatic text input generation for mobile testing. ICSE (2017)
Pietro Ferrara, Omer Tripp, Peng Liu, Eric Koskinen
Using Abstract Interpretation to Correct Synchronization Faults. VMCAI (2017)
Zhaogui Xu, Peng Liu, Xiangyu Zhang, Baowen Xu
Python predictive analysis for bug detection. SIGSOFT FSE (2016)
Dohyeong Kim, Yonghwi Kwon, Peng Liu, I Luk Kim, David Mitchel Perry, Xiangyu Zhang, Gustavo Rodriguez-Rivera
Apex: automatic programming assignment error explanation. OOPSLA (2016)
Wei Zhang, Minwei Feng, Yunhui Zheng, Yufei Ren, Yandong Wang, Ji Liu, Peng Liu, Bing Xiang, Li Zhang, Bowen Zhou
GaDei: On Scale-up Training As A Service For Deep Learning. CoRR (2016)
Weihang Wang, Yunhui Zheng, Peng Liu, Lei Xu, Xiangyu Zhang, Patrick Eugster
ARROW: automated repair of races on client-side web pages. ISSTA (2016)
Peng Liu, Omer Tripp, Xiangyu Zhang
IPA: improving predictive analysis with pointer analysis. ISSTA (2016)
Peng Liu, Xiangyu Zhang, Omer Tripp, Yunhui Zheng
Light: replay via tightly bounded recording. PLDI (2015)
Peng Liu, Charles Zhang
Unleashing concurrency for irregular data structures. ICSE (2014)
Peng Liu, Omer Tripp, Charles Zhang
Grail: context-aware fixing of concurrency bugs. SIGSOFT FSE (2014)
Peng Liu, Omer Tripp, Xiangyu Zhang
Flint: fixing linearizability violations. OOPSLA (2014)
Peng Liu, Julian Dolby, Charles Zhang
Finding incorrect compositions of atomicity. ESEC/SIGSOFT FSE (2013)
Peng Liu, Charles Zhang
Axis: Automatically fixing atomicity violations through solving control constraints. ICSE (2012)
Yin Wang, Peng Liu, Terence Kelly, Stéphane Lafortune, Spyros A. Reveliotis, Charles Zhang
On atomicity enforcement in concurrent software via Discrete Event Systems theory. CDC (2012)
Peng Liu, Charles Zhang
Pert: The Application-Aware Tailoring of Java Object Persistence. IEEE Trans. Software Eng. 38 (4) (2012)
Jeff Huang, Peng Liu, Charles Zhang
LEAP: lightweight deterministic multi-processor replay of concurrent java programs. SIGSOFT FSE (2010)
Jeff Huang, Peng Liu, Charles Zhang
LEAP: lightweight deterministic multi-processor replay of concurrent java programs. SIGSOFT FSE (2010)