Formal co-validation of low-level hardware/software interfaces. - Alex Horn; Michael Tautschnig; Celina G. Val; Lihao Liang; Tom Melham; Jim Grundy; Daniel Kroening (FMCAD, 2013)

Effective verification of low-level software with nested interrupts. - Daniel Kroening; Lihao Liang; Tom Melham; Peter Schrammel; Michael Tautschnig (DATE, 2015)

Verification of tree-based hierarchical read-copy update in the Linux kernel. - Lihao Liang; Paul E. McKenney; Daniel Kroening; Tom Melham (DATE, 2018)

Effective Verification for Low-Level Software with Competing Interrupts. - Lihao Liang; Tom Melham; Daniel Kroening; Peter Schrammel; Michael Tautschnig (ACM Trans. Embed. Comput. Syst., 2018)

A Framework for Evaluating Emerging Cyberattack Capabilities of AI. - Mikel Rodriguez; Raluca Ada Popa; Four Flynn; Lihao Liang; Allan Dafoe; Anna Wang (CoRR, 2025)