PAPERS

Title:Verification of Tree-Based Hierarchical Read-Copy Update in the Linux Kernel
Links: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) },
  NOTE      = { To appear. },
  YEAR      = { 2018 },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.