Publications

2 results at ICSE 2016

An empirical study of practitioners' perspectives on green software engineering
- - Irene Manotas
  - Christian Bird
  - et al.
- 2016
- ICSE 2016
Conference paper
IntEQ: Recognizing benign integer overflows via equivalence checking across multiple precisions
- - Hao Sun
  - Xiangyu Zhang
  - et al.
- 2016
- ICSE 2016
Conference paper