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
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
Java JIT Testing with Template Extraction
Z Zang, FY Yu, A Thimmaiah, A Shi, M Gligoric
arXiv preprint arXiv:2403.11281, 2024
12024
JOG: Java JIT Peephole Optimizations and Tests from Patterns
Z Zang, A Thimmaiah, M Gligoric
12024
The system can't perform the operation now. Try again later.
Articles 1–7