End-to-End Automation of Feedback on Student Assembly Programs. - Zikai Liu; Tingkai Liu; Qi Li; Wenqing Luo; Steven S. Lumetta (ASE, 2021)

Scientific Knowledge Combination in Networks: New Perspectives on Analyzing Knowledge Absorption and Integration. - Hongshu Chen; Jingkang Liu; Zikai Liu (EEKE/AII@JCDL, 2023)

Verified Fault Handling for Modern Board Management Controllers. - Ben Fiedler; Zikai Liu; David A. Cock; Timothy Roscoe (FACS, 2024)

Efeu: generating efficient, verified, hybrid hardware/software drivers for I2C devices. - Daniel Schwyn; Zikai Liu; Timothy Roscoe (EuroSys, 2025)

Mainframe-style channel controllers for modern disaggregated memory systems. - Zikai Liu; Jasmin Schult; Pengcheng Xu 005; Timothy Roscoe (CoRR, 2025)