Lihao Liang

According to our database, Lihao Liang authored at least 4 papers between 2013 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Verification of tree-based hierarchical read-copy update in the Linux kernel.

Lihao Liang, Paul E. McKenney, Daniel Kroening, Tom Melham

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2015

Effective verification of low-level software with nested interrupts.

Daniel Kroening, Lihao Liang, Tom Melham, Peter Schrammel, Michael Tautschnig

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2013

Formal co-validation of low-level hardware/software interfaces.

Alex Horn, Michael Tautschnig, Celina G. Val, Lihao Liang, Tom Melham, Jim Grundy, Daniel Kroening

Proceedings of the Formal Methods in Computer-Aided Design, 2013