Peng Liu

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