Formal Verification of Consensus in the Taurus Distributed Database. - Song Gao 014; Bohua Zhan; Depeng Liu; Xuechao Sun; Yanan Zhi; David N. Jansen; Lijun Zhang 001 (FM, 2021)

Frontmatter: mining Android user interfaces at scale. - Konstantin Kuznetsov 001; Chen Fu; Song Gao 014; David N. Jansen; Lijun Zhang 001; Andreas Zeller (ESEC/SIGSOFT FSE, 2021)

What do all these Buttons do? Statically Mining Android User Interfaces at Scale. - Konstantin Kuznetsov 001; Chen Fu; Song Gao 014; David N. Jansen; Lijun Zhang 001; Andreas Zeller (CoRR, 2021)

Verifying Randomized Consensus Protocols with Common Coins. - Song Gao 014; Bohua Zhan; Zhilin Wu; Lijun Zhang 001 (DSN, 2024)