Bio

My goal is to uncover a significant number of defects in DBMSs.

Research Interests

Database System Testing and Optimization

Published Works

  • Finding Missed Optimizations in DBMSs through Unbalanced Short-Circuit Query Construction

    Jinhui Lai, Chi Zhang, Jie Liang, Zihao Zeng, Zhiyong Wu, Jingzhou Fu, Chijin Zhou, Shuai Ma, Yu Jiang, Zichen Xu
    SIGMOD 2026
    2026
  • SRS: Detecting Logic Bugs of Join Implementation in DBMSs via Set Relation Synthesis

    Jinhui Lai, Chi Zhang, Binyan Li, Chengling Liang, Jie Liang, Zhiyong Wu, Jingzhou Fu, Yu Jiang, Zichen Xu
    SIGMOD 2026
    2026