PolyJuice: Detecting Mis-compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting. - Chijin Zhou; Bingzhou Qian; Gwihwan Go; Quan Zhang; Shanshan Li 001; Yu Jiang 001 (Proc. ACM Program. Lang., 2024)

Janus: Detecting Rendering Bugs in Web Browsers via Visual Delta Consistency. - Chijin Zhou; Quan Zhang; Bingzhou Qian; Yu Jiang 001 (ICSE, 2025)