Follow
Zhiqiang Zang
Title
Cited by
Cited by
Year
Compiler testing using template java programs
Z Zang, N Wiatrek, M Gligoric, A Shi
Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022
132022
Unifying execution of imperative generators and declarative specifications
P Nie, M Parovic, Z Zang, S Khurshid, A Milicevic, M Gligoric
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-26, 2020
102020
Vedebug: regression debugging tool for java
B Buhse, T Wei, Z Zang, A Milicevic, M Gligoric
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
52019
Java JIT testing with template extraction
Z Zang, FY Yu, A Thimmaiah, A Shi, M Gligoric
Proceedings of the ACM on Software Engineering 1 (FSE), 1129-1151, 2024
22024
Pattern-Based Peephole Optimizations with Java JIT Tests
Z Zang, A Thimmaiah, M Gligoric
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023
22023
JATTACK: Java JIT Testing using Template Programs
Z Zang, FY Yu, N Wiatrek, M Gligoric, A Shi
2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023
22023
JOG: Java JIT Peephole Optimizations and Tests from Patterns
Z Zang, A Thimmaiah, M Gligoric
Proceedings of the 2024 IEEE/ACM 46th International Conference on Software …, 2024
12024
ICSE-Companion 2024
W Minn, YN Tun, Z Zang, A Thimmaiah, S Lazreg, M Cordy
The system can't perform the operation now. Try again later.
Articles 1–8