Paul E. McKenney

Identifiers

• name variant Paul E. McKenney 0.50 · backfill

Papers (1)

1. Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel cs.LO · 2016 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Daniel Kroening 1 shared papers
• Lihao Liang 1 shared papers
• Tom Melham 1 shared papers