Paul E. McKenney

According to our database1, Paul E. McKenney authored at least 39 papers between 1981 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




RCU Usage In the Linux Kernel: Eighteen Years Later.
ACM SIGOPS Oper. Syst. Rev., 2020

An HTM-based update-side synchronization for RCU on NUMA systems.
Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020

A critical RCU safety property is... ease of use!
Proceedings of the 12th ACM International Conference on Systems and Storage, 2019

How verified (or tested) is my code? Falsification-driven verification and testing.
Autom. Softw. Eng., 2018

Verification of tree-based hierarchical read-copy update in the Linux kernel.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel.
Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018

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

The RCU-Reader Preemption Problem in VMs.
Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Applying Mutation Analysis on Kernel Test Suites: An Experience Report.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

How Verified is My Code? Falsification-Driven Verification (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Multi-core systems modeling for formal verification of parallel algorithms.
ACM SIGOPS Oper. Syst. Rev., 2013

Structured deferral: synchronization via procrastination.
Commun. ACM, 2013

User-Level Implementations of Read-Copy Update.
IEEE Trans. Parallel Distributed Syst., 2012

Cleaning up Linux's CPU hotplug for real time and energy management.
SIGBED Rev., 2012

Beyond expert-only parallel programming?
Proceedings of the 2012 ACM workshop on Relaxing synchronization for multicore and manycore scalability, 2012

Retrofitted Parallelism Considered Grossly Sub-Optimal.
Proceedings of the 4th USENIX Workshop on Hot Topics in Parallelism, 2012

Resizable, Scalable, Concurrent Hash Tables via Relativistic Programming.
Proceedings of the 2011 USENIX Annual Technical Conference, 2011

Scalable concurrent hash tables via relativistic programming.
ACM SIGOPS Oper. Syst. Rev., 2010

Why the grass may not be greener on the other side: a comparison of locking vs. transactional memory.
ACM SIGOPS Oper. Syst. Rev., 2010

Introducing technology into the Linux kernel: a case study.
ACM SIGOPS Oper. Syst. Rev., 2008

The read-copy-update mechanism for supporting real-time applications on shared-memory multiprocessor systems with Linux.
IBM Syst. J., 2008

Responsive systems: An introduction.
IBM Syst. J., 2008

Performance of memory reclamation for lockless synchronization.
J. Parallel Distributed Comput., 2007

Why the grass may not be greener on the other side: a comparison of locking vs. transactional memory.
Proceedings of the 4th workshop on Programming languages and operating systems, 2007

Making lockless synchronization fast: performance implications of memory reclamation.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Enabling autonomic behavior in systems software with hot swapping.
IBM Syst. J., 2003

Using Read-Copy-Update Techniques for System V IPC in the Linux 2.5 Kernel.
Proceedings of the FREENIX Track: 2003 USENIX Annual Technical Conference, 2003

Fairlocks A High Performance Fair Locking Scheme.
Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2002

Experience with an efficient parallel kernel memory allocator.
Softw. Pract. Exp., 2001

Differential Profiling.
Softw. Pract. Exp., 1999

Selecting Locking Primitives for Parallel Programming.
Commun. ACM, 1996

Efficient Kernel Memory Allocation on Shared-Memory Multiprocessors.
Proceedings of the Usenix Winter 1993 Technical Conference, 1993

Efficient Demultiplexing of Incoming TCP Packets.
Comput. Syst., 1992

Physical- and Link-Layer Modeling of Packet-Radio Network Performance.
IEEE J. Sel. Areas Commun., 1991

Packet Recovery in High-Speed Networks Using Coding and Buffer Management.
Proceedings of the Proceedings IEEE INFOCOM '90, 1990

Stochastic Fairness Queueing.
Proceedings of the Proceedings IEEE INFOCOM '90, 1990

High-Speed Event Counting and Classification Using a Dictionary Hash Technique.
Proceedings of the International Conference on Parallel Processing, 1989

An Interleave Principle for Demonstrating concurrent Programs.
IEEE Softw., 1984

User Defined Files.
ACM SIGOPS Oper. Syst. Rev., 1981