Liu Peng
Liu Peng
RSM@IBM Research
Verified email at us.ibm.com - Homepage
Title
Cited by
Cited by
Year
LEAP: Lightweight deterministic multi-processor replay of concurrent Java programs
J Huang, P Liu, C Zhang
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
1302010
Clap: Recording local executions to reproduce concurrency failures
J Huang, C Zhang, J Dolby
Acm Sigplan Notices 48 (6), 141-152, 2013
1262013
Axis: Automatically fixing atomicity violations through solving control constraints
P Liu, C Zhang
2012 34th International Conference on Software Engineering (ICSE), 299-309, 2012
932012
Grail: Context-aware fixing of concurrency bugs
P Liu, O Tripp, C Zhang
Proceedings of the 22nd ACM SIGSOFT international symposium on foundations …, 2014
532014
Automatic text input generation for mobile testing
P Liu, X Zhang, M Pistoia, Y Zheng, M Marques, L Zeng
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017
492017
Finding incorrect compositions of atomicity
P Liu, J Dolby, C Zhang
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
242013
Apex: Automatic Programming Assignment Error Explanation
Dohyeong Kim, Yonghwi Kwon, Peng Liu , I Luk Kim, David Mitchel Perry ...
OOPSLA, 2016
23*2016
Light: Replay via tightly bounded recording
P Liu, X Zhang, O Tripp, Y Zheng
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
222015
IPA: Improving Predictive Analysis with Pointer Analysis
Peng Liu, Omer Tripp, Xiangyu Zhang
International Symposium on Software Testing and Analysis, 2016
172016
ARROW: Automated Repair of Races on Client-Side Web Pages
Weihang Wang, Yunhui Zheng, Peng Liu, Lei Xu, Xiangyu Zhang, Patrick Eugster
International Symposium on Software Testing and Analysis, 2016
152016
Flint: Fixing Linearizability Violations
P Liu, O Tripp, X Zhang
152014
Python predictive analysis for bug detection
Z Xu, P Liu, X Zhang, B Xu
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
132016
Gadei: On scale-up training as a service for deep learning
W Zhang, M Feng, Y Zheng, Y Ren, Y Wang, J Liu, P Liu, B Xiang, ...
2017 IEEE International Conference on Data Mining (ICDM), 1195-1200, 2017
122017
Unleashing concurrency for irregular data structures
P Liu, C Zhang
Proceedings of the 36th International Conference on Software Engineering …, 2014
82014
On atomicity enforcement in concurrent software via discrete event systems theory
Y Wang, P Liu, T Kelly, S Lafortune, S Reveliotis, C Zhang
2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 7230-7237, 2012
72012
White-box program tuning
WC Lee, Y Liu, P Liu, S Ma, H Choi, X Zhang, R Gupta
2019 IEEE/ACM International Symposium on Code Generation and Optimization …, 2019
52019
Quantum computations of classical specifications
M Pistoia, JM Gambetta, A Mezzacapo, R Chen, S Wood, P Liu, S Hu, ...
US Patent 10,803,395, 2020
42020
Pert: The application-aware tailoring of java object persistence
P Liu, C Zhang
IEEE Transactions on Software Engineering 38 (4), 909-922, 2011
42011
Using deep learning to solve computer security challenges: a survey
YH Choi, P Liu, Z Shang, H Wang, Z Wang, L Zhang, J Zhou, Q Zou
Cybersecurity 3 (1), 1-32, 2020
32020
Simplified quantum programming
R Chen, S Hu, P Liu, M Pistoia
US Patent App. 15/874,489, 2019
32019
The system can't perform the operation now. Try again later.
Articles 1–20