Peng Liu

According to our database, Peng Liu authored at least 23 papers between 2010 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Parallelization of Classical Numerical optimization in Quantum Variational Algorithms.

Marco Pistoia, Peng Liu, Chun-Fu (Richard) Chen, Shaohan Hu, Stephen P. Wood

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019

Stochastic Optimization of Quantum Programs.

Peng Liu, Shaohan Hu, Marco Pistoia, Chun-Fu (Richard) Chen, Jay M. Gambetta

Computer, 2019

Reduction-Based Problem Mapping for Quantum Computing.

Shaohan Hu, Peng Liu, Chun-Fu (Richard) Chen, Marco Pistoia, Jay M. Gambetta

Computer, 2019

Programming support for autonomizing software.

Wen-Chuan Lee, Peng Liu, Yingqi Liu, Shiqing Ma, Xiangyu Zhang

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

White-Box Program Tuning.

Wen-Chuan Lee, Yingqi Liu, Peng Liu, Shiqing Ma, Hongjun Choi, Xiangyu Zhang, Rajiv Gupta

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2019

2018

Automatically solving NP-complete problems on a quantum computer.

Shaohan Hu, Peng Liu, Chun-Fu (Richard) Chen, Marco Pistoia

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

Using Abstract Interpretation to Correct Synchronization Faults.

Pietro Ferrara, Omer Tripp, Peng Liu, Eric Koskinen

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Automatic text input generation for mobile testing.

Peng Liu, Xiangyu Zhang, Marco Pistoia, Yunhui Zheng, Manoel Marques, Lingfei Zeng

Proceedings of the 39th International Conference on Software Engineering, 2017

GaDei: On Scale-Up Training as a Service for Deep Learning.

Wei Zhang, Minwei Feng, Yunhui Zheng, Yufei Ren, Yandong Wang, Ji Liu, Peng Liu, Bing Xiang, Li Zhang, Bowen Zhou, Fei Wang

Proceedings of the 2017 IEEE International Conference on Data Mining, 2017

2016

GaDei: On Scale-up Training As A Service For Deep Learning.

Wei Zhang, Minwei Feng, Yunhui Zheng, Yufei Ren, Yandong Wang, Ji Liu, Peng Liu, Bing Xiang, Li Zhang, Bowen Zhou

CoRR, 2016

Python predictive analysis for bug detection.

Zhaogui Xu, Peng Liu, Xiangyu Zhang, Baowen Xu

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Apex: automatic programming assignment error explanation.

Dohyeong Kim, Yonghwi Kwon, Peng Liu, I Luk Kim, David Mitchel Perry, Xiangyu Zhang, Gustavo Rodriguez-Rivera

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

ARROW: automated repair of races on client-side web pages.

Weihang Wang, Yunhui Zheng, Peng Liu, Lei Xu, Xiangyu Zhang, Patrick Eugster

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

IPA: improving predictive analysis with pointer analysis.

Peng Liu, Omer Tripp, Xiangyu Zhang

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

2015

Light: replay via tightly bounded recording.

Peng Liu, Xiangyu Zhang, Omer Tripp, Yunhui Zheng

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

Grail: context-aware fixing of concurrency bugs.

Peng Liu, Omer Tripp, Charles Zhang

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Flint: fixing linearizability violations.

Peng Liu, Omer Tripp, Xiangyu Zhang

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Unleashing concurrency for irregular data structures.

Peng Liu, Charles Zhang

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Finding incorrect compositions of atomicity.

Peng Liu, Julian Dolby, Charles Zhang

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

2012

Pert: The Application-Aware Tailoring of Java Object Persistence.

Peng Liu, Charles Zhang

IEEE Trans. Software Eng., 2012

Axis: Automatically fixing atomicity violations through solving control constraints.

Peng Liu, Charles Zhang

Proceedings of the 34th International Conference on Software Engineering, 2012

On atomicity enforcement in concurrent software via Discrete Event Systems theory.

Yin Wang, Peng Liu, Terence Kelly, Stéphane Lafortune, Spyros A. Reveliotis, Charles Zhang

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2010

LEAP: lightweight deterministic multi-processor replay of concurrent java programs.

Jeff Huang, Peng Liu, Charles Zhang

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010