Publications

9 results for Peng Liu

Programming support for autonomizing software
- - Wen Chuan Lee
  - Peng Liu
  - et al.
- 2019
- PLDI 2019
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
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
Light: Replay via tightly bounded recording
- - Peng Liu
  - Xiangyu Zhang
  - et al.
- 2015
- PLDI 2015
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
Finding incorrect compositions of atomicity
- - Peng Liu
  - Julian Dolby
  - et al.
- 2013
- ESEC/FSE 2013