Lihao Liang
Completed Projects:
Selected Publications
-
Verification of Tree−Based Hierarchical Read−Copy Update in the Linux Kernel
Lihao Liang‚ Paul E. McKenney‚ Daniel Kroening and Tom Melham
In 2018 Design‚ Automation & Test in Europe Conference & Exhibition‚ DATE 2018‚ Dresden‚ Germany‚ March 19–23‚ 2018. 2018.
To appear.
Details about Verification of Tree−Based Hierarchical Read−Copy Update in the Linux Kernel | BibTeX data for Verification of Tree−Based Hierarchical Read−Copy Update in the Linux Kernel | Download (pdf) of Verification of Tree−Based Hierarchical Read−Copy Update in the Linux Kernel
-
Effective Verification for Low−Level Software with Competing Interrupts
Lihao Liang‚ Tom Melham‚ Daniel Kroening‚ Peter Schrammel and Michael Tautschnig
In ACM Transactions on Embedded Computing Systems. Vol. 17. No. 2. Pages 36:1–36:26. December, 2017.
Details about Effective Verification for Low−Level Software with Competing Interrupts | BibTeX data for Effective Verification for Low−Level Software with Competing Interrupts | DOI (10.1145/3147432) | Download (pdf) of Effective Verification for Low−Level Software with Competing Interrupts
-
Verification of the Tree−Based Hierarchical Read−Copy Update in the Linux Kernel
Lihao Liang‚ Paul E. McKenney‚ Daniel Kroening and Tom Melham
In CoRR. Vol. abs/1610.03052. October, 2016.
Details about Verification of the Tree−Based Hierarchical Read−Copy Update in the Linux Kernel | BibTeX data for Verification of the Tree−Based Hierarchical Read−Copy Update in the Linux Kernel | Link to Verification of the Tree−Based Hierarchical Read−Copy Update in the Linux Kernel