User Defined Files. - Kirk A. Bailey; Lee Boynton; Paul E. McKenney; Gary J. Oliver; Dave Regan (ACM SIGOPS Oper. Syst. Rev., 1981)

An Interleave Principle for Demonstrating concurrent Programs. - Ted G. Lewis; Keith R. Spitz; Paul E. McKenney (IEEE Softw., 1984)

High-Speed Event Counting and Classification Using a Dictionary Hash Technique. - Paul E. McKenney (ICPP (3), 1989)

Stochastic Fairness Queueing. - Paul E. McKenney (INFOCOM, 1990)

Packet Recovery in High-Speed Networks Using Coding and Buffer Management. - Nachum Shacham; Paul E. McKenney (INFOCOM, 1990)

Physical- and Link-Layer Modeling of Packet-Radio Network Performance. - Paul E. McKenney; Peter E. Bausbacher (IEEE J. Sel. Areas Commun., 1991)

Efficient Demultiplexing of Incoming TCP Packets. - Paul E. McKenney; Ken F. Dove (Comput. Syst., 1992)

Efficient Kernel Memory Allocation on Shared-Memory Multiprocessors. - Paul E. McKenney; Jack Slingwine (USENIX Winter, 1993)

Selecting Locking Primitives for Parallel Programming. - Paul E. McKenney (Commun. ACM, 1996)

Differential Profiling. - Paul E. McKenney (Softw. Pract. Exp., 1999)

Experience with an efficient parallel kernel memory allocator. - Paul E. McKenney; Jack Slingwine; Phil Krueger (Softw. Pract. Exp., 2001)

Fairlocks A High Performance Fair Locking Scheme. - S. Swaminathan; J. Stultz; J. F. Vogel; Paul E. McKenney (IASTED PDCS, 2002)

Using Read-Copy-Update Techniques for System V IPC in the Linux 2.5 Kernel. - Andrea Arcangeli; Mingming Cao; Paul E. McKenney; Dipankar Sarma (USENIX ATC, FREENIX Track, 2003)

Enabling autonomic behavior in systems software with hot swapping. - Jonathan Appavoo; Kevin Hui; Craig A. N. Soules; Robert W. Wisniewski; Dilma Da Silva; Orran Krieger; Marc A. Auslander; David Edelsohn; Benjamin Gamsa; Gregory R. Ganger; Paul E. McKenney; Michal Ostrowski; et al. (IBM Syst. J., 2003)

Making lockless synchronization fast: performance implications of memory reclamation. - Thomas E. Hart; Paul E. McKenney; Angela Demke Brown (IPDPS, 2006)

Why the grass may not be greener on the other side: a comparison of locking vs. transactional memory. - Paul E. McKenney; Maged M. Michael; Jonathan Walpole (PLOS@SOSP, 2007)

Performance of memory reclamation for lockless synchronization. - Thomas E. Hart; Paul E. McKenney; Angela Demke Brown; Jonathan Walpole (J. Parallel Distributed Comput., 2007)

Responsive systems: An introduction. - Robert F. Berry; Paul E. McKenney; Francis N. Parr (IBM Syst. J., 2008)

The read-copy-update mechanism for supporting real-time applications on shared-memory multiprocessor systems with Linux. - Dinakar Guniguntala; Paul E. McKenney; Josh Triplett; Jonathan Walpole (IBM Syst. J., 2008)

Introducing technology into the Linux kernel: a case study. - Paul E. McKenney; Jonathan Walpole (ACM SIGOPS Oper. Syst. Rev., 2008)

Why the grass may not be greener on the other side: a comparison of locking vs. transactional memory. - Paul E. McKenney; Maged M. Michael; Josh Triplett; Jonathan Walpole (ACM SIGOPS Oper. Syst. Rev., 2010)

Scalable concurrent hash tables via relativistic programming. - Josh Triplett; Paul E. McKenney; Jonathan Walpole (ACM SIGOPS Oper. Syst. Rev., 2010)

Resizable, Scalable, Concurrent Hash Tables via Relativistic Programming. - Josh Triplett; Paul E. McKenney; Jonathan Walpole (USENIX ATC, 2011)

Retrofitted Parallelism Considered Grossly Sub-Optimal. - Paul E. McKenney (HotPar, 2012)

Beyond expert-only parallel programming? - Paul E. McKenney (RACES@SPLASH, 2012)

Cleaning up Linux's CPU hotplug for real time and energy management. - Thomas Gleixner; Paul E. McKenney; Vincent Guittot (SIGBED Rev., 2012)

User-Level Implementations of Read-Copy Update. - Mathieu Desnoyers; Paul E. McKenney; Alan S. Stern; Michel R. Dagenais; Jonathan Walpole (IEEE Trans. Parallel Distributed Syst., 2012)

Structured Deferral: Synchronization via Procrastination. - Paul E. McKenney (ACM Queue, 2013)

Multi-core systems modeling for formal verification of parallel algorithms. - Mathieu Desnoyers; Paul E. McKenney; Michel R. Dagenais (ACM SIGOPS Oper. Syst. Rev., 2013)

How Verified is My Code? Falsification-Driven Verification (T). - Alex Groce; Iftekhar Ahmed 001; Carlos Jensen; Paul E. McKenney (ASE, 2015)

Applying Mutation Analysis on Kernel Test Suites: An Experience Report. - Iftekhar Ahmed 001; Carlos Jensen; Alex Groce; Paul E. McKenney (ICST Workshops, 2017)

The RCU-Reader Preemption Problem in VMs. - Aravinda Prasad; K. Gopinath; Paul E. McKenney (USENIX ATC, 2017)

Is Parallel Programming Hard, And, If So, What Can You Do About It? (v2017.01.02a). - Paul E. McKenney (CoRR, 2017)

Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel. - Jade Alglave; Luc Maranget; Paul E. McKenney; Andrea Parri; Alan S. Stern (ASPLOS, 2018)

Verification of tree-based hierarchical read-copy update in the Linux kernel. - Lihao Liang; Paul E. McKenney; Daniel Kroening; Tom Melham (DATE, 2018)

How verified (or tested) is my code? Falsification-driven verification and testing. - Alex Groce; Iftekhar Ahmed 001; Carlos Jensen; Paul E. McKenney; Josie Holmes (Autom. Softw. Eng., 2018)

A critical RCU safety property is... ease of use! - Paul E. McKenney (SYSTOR, 2019)

An HTM-based update-side synchronization for RCU on NUMA systems. - Seongjae Park; Paul E. McKenney; Laurent Dufour; Heon Y. Yeom (EuroSys, 2020)

RCU Usage In the Linux Kernel: Eighteen Years Later. - Paul E. McKenney; Joel Fernandes; Silas Boyd-Wickizer; Jonathan Walpole (ACM SIGOPS Oper. Syst. Rev., 2020)