Programming support for autonomizing software
- Wen Chuan Lee
- Peng Liu
- et al.
- 2019
- PLDI 2019
Publications
Date
Featured collections
Popular topics
9 results for Peng Liu
Automatically solving NP-complete problems on a quantum computer
- Shaohan Hu
- Peng Liu
- et al.
- 2018
- ICSE 2018
Automatic Text Input Generation for Mobile Testing
- Peng Liu
- Xiangyu Zhang
- et al.
- 2017
- ICSE 2017
Light: Replay via tightly bounded recording
- Peng Liu
- Xiangyu Zhang
- et al.
- 2015
- PLDI 2015
Finding incorrect compositions of atomicity
- Peng Liu
- Julian Dolby
- et al.
- 2013
- ESEC/FSE 2013
IPA: Improving predictive analysis with pointer analysis
- Peng Liu
- Omer Tripp
- et al.
- 2016
- ISSTA 2016
ARROW: Automated repair of races on client-side web pages
- Weihang Wang
- Yunhui Zheng
- et al.
- 2016
- ISSTA 2016
Grail: Context-aware fixing of concurrency bugs
- Peng Liu
- Omer Tripp
- et al.
- 2014
- FSE 2014
Flint: Fixing linearizability violations
- Peng Liu
- Omer Tripp
- et al.
- 2014
- OOPSLA 2014