Title: | Verification of Tree-Based Hierarchical Read-Copy Update in the Linux Kernel |
---|---|
Links: | Homepage Document as PDF |
Authors: | Lihao Liang |
Paul E. McKenney | |
Daniel Kroening EMail | |
Tom Melham | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{lmkm2018, AUTHOR = { Liang, Lihao and McKenney, Paul E. and Kroening, Daniel and Melham, Tom }, TITLE = { Verification of Tree-Based Hierarchical {Read-Copy Update} in the {Linux Kernel} }, BOOKTITLE = { Design, Automation and Test in Europe (DATE) }, YEAR = { 2018 }, PUBLISHER = { IEEE }, PAGES = { 61--66 }, ISBN = { 978-3-9819263-0-9 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.