Unifying execution of imperative generators and declarative specifications

Pengyu Nie , Marinela Parovic , Zhiqiang Zang , Sarfraz Khurshid
Proceedings of the ACM on Programming Languages 4 1 -26

2020
VeDebug: regression debugging tool for Java

Ben Buhse , Thomas Wei , Zhiqiang Zang , Aleksandar Milicevic
international conference on software engineering 15 -18

2
2019
Compiler testing using template java programs

Zhiqiang Zang , Nathan Wiatrek , Milos Gligoric , August Shi
Smpte Journal 1 -13

2
2022
Java JIT Testing with Template Extraction

Zhiqiang Zang , Fu-Yao Yu , Aditya Thimmaiah , August Shi
arXiv preprint arXiv:2403.11281

1
2024
Pattern-Based Peephole Optimizations with Java JIT Tests

Zhiqiang Zang , Aditya Thimmaiah , Milos Gligoric
64 -75

1
2023
JATTACK: Java JIT Testing using Template Programs

Zhiqiang Zang , Fu-Yao Yu , Nathan Wiatrek , Milos Gligoric
2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) 6 -10

1
2023
JOG: Java JIT Peephole Optimizations and Tests from Patterns

Zhiqiang Zang , Aditya Thimmaiah , Milos Gligoric
11 -15

2024