Compositional Verification of Interacting Systems Using Event Monads. - Bohua Zhan; Yi Lv; Shuling Wang; Gehang Zhao; Jifeng Hao; Hong Ye; Bican Xia (ITP, 2022)

VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects. - Qiaowen Jia; Yi Lv; Peng Wu 002; Bohua Zhan; Jifeng Hao; Hong Ye; Chao Wang 069 (TASE, 2023)