Lihao Liang
TitleCited byYear
Formal co-validation of low-level hardware/software interfaces
A Horn, M Tautschnig, C Val, L Liang, T Melham, J Grundy, D Kroening
2013 Formal Methods in Computer-Aided Design, 121-128, 2013
272013
Effective verification of low-level software with nested interrupts
D Kroening, L Liang, T Melham, P Schrammel, M Tautschnig
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 229-234, 2015
162015
Verification of tree-based hierarchical read-copy update in the Linux kernel
L Liang, PE McKenney, D Kroening, T Melham
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 61-66, 2018
82018
Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel
L Liang, PE McKenney, D Kroening, T Melham
arXiv preprint arXiv:1610.03052, 2016
82016
Effective verification for low-level software with competing interrupts
L Liang, T Melham, D Kroening, P Schrammel, M Tautschnig
ACM Transactions on Embedded Computing Systems (TECS) 17 (2), 36, 2018
22018
The system can't perform the operation now. Try again later.
Articles 1–5