VeDebug: regression debugging tool for Java. - Ben Buhse; Thomas Wei; Zhiqiang Zang; Aleksandar Milicevic; Milos Gligoric 001 (ICSE (Companion Volume), 2019)

Unifying execution of imperative generators and declarative specifications. - Pengyu Nie 001; Marinela Parovic; Zhiqiang Zang; Sarfraz Khurshid; Aleksandar Milicevic; Milos Gligoric 001 (Proc. ACM Program. Lang., 2020)

Compiler Testing using Template Java Programs. - Zhiqiang Zang; Nathan Wiatrek; Milos Gligoric 001; August Shi (ASE, 2022)

JATTACK: Java JIT Testing using Template Programs. - Zhiqiang Zang; Fu-Yao Yu; Nathan Wiatrek; Milos Gligoric 001; August Shi (ICSE Companion, 2023)

Pattern-Based Peephole Optimizations with Java JIT Tests. - Zhiqiang Zang; Aditya Thimmaiah; Milos Gligoric 001 (ISSTA, 2023)

JOG: Java JIT Peephole Optimizations and Tests from Patterns. - Zhiqiang Zang; Aditya Thimmaiah; Milos Gligoric 001 (ICSE Companion, 2024)

Java JIT Testing with Template Extraction. - Zhiqiang Zang; Fu-Yao Yu; Aditya Thimmaiah; August Shi; Milos Gligoric 001 (Proc. ACM Softw. Eng., 2024)