Lihao Liang : Publications
Journal papers
-
[1]
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
-
[2]
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
Conference papers
-
[1]
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
-
[2]
Effective Verification of Low−Level Software with Nested Interrupts
Daniel Kroening‚ Lihao Liang‚ Tom Melham‚ Peter Schrammel and Michael Tautschnig
In Design‚ Automation and Test in Europe (DATE). Pages 229–234. EDA Consortium. 2015.
Details about Effective Verification of Low−Level Software with Nested Interrupts | BibTeX data for Effective Verification of Low−Level Software with Nested Interrupts
-
[3]
Formal Co−Validation of Low−Level Hardware/Software Interfaces
Alex Horn‚ Michael Tautschnig‚ Celina Val‚ Lihao Liang‚ Tom Melham‚ Jim Grundy and Daniel Kroening
In Barbara Jobstmann and Sandip Ray, editors, FMCAD 2013: Formal Methods in Computer−Aided Design: Portland‚ Oregon‚ USA‚ 20–23 October 2013. Pages 121–128. IEEE. 2013.
Details about Formal Co−Validation of Low−Level Hardware/Software Interfaces | BibTeX data for Formal Co−Validation of Low−Level Hardware/Software Interfaces