​
Login / Signup
Lihao Liang
ORCID
Publication Activity (10 Years)
Years Active: 2013-2018
Publications (10 Years): 3
Top Topics
Hw Sw
Formal Verification
Software Evolution
Mid Level
Top Venues
DATE
ACM Trans. Embed. Comput. Syst.
CoRR
FMCAD
</>
Publications
</>
Lihao Liang
,
Paul E. McKenney
,
Daniel Kroening
,
Tom Melham
Verification of tree-based hierarchical read-copy update in the Linux kernel.
DATE
(2018)
Lihao Liang
,
Tom Melham
,
Daniel Kroening
,
Peter Schrammel
,
Michael Tautschnig
Effective Verification for Low-Level Software with Competing Interrupts.
ACM Trans. Embed. Comput. Syst.
17 (2) (2018)
Lihao Liang
,
Paul E. McKenney
,
Daniel Kroening
,
Tom Melham
Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel.
CoRR
(2016)
Daniel Kroening
,
Lihao Liang
,
Tom Melham
,
Peter Schrammel
,
Michael Tautschnig
Effective verification of low-level software with nested interrupts.
DATE
(2015)
Alex Horn
,
Michael Tautschnig
,
Celina G. Val
,
Lihao Liang
,
Tom Melham
,
Jim Grundy
,
Daniel Kroening
Formal co-validation of low-level hardware/software interfaces.
FMCAD
(2013)