Tom Melham
Professor Tom Melham FRSE
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
-
Lifting CDCL to Template−Based Abstract Domains for Program Verification
Rajdeep Mukherjee‚ Peter Schrammel‚ Leopold Haller‚ Daniel Kroening and Tom Melham
In arXiv Computing Research Repository. Vol. arXiv:1707.02011 [cs.LO]. July, 2017.
Details about Lifting CDCL to Template−Based Abstract Domains for Program Verification | BibTeX data for Lifting CDCL to Template−Based Abstract Domains for Program Verification | Link to Lifting CDCL to Template−Based Abstract Domains for Program Verification