Paul E. McKenney

Publication Activity (10 Years)

Years Active: 1981-2020
Publications (10 Years): 10

Top Topics

Formal Verification

Parallel Programming

Symbolic Execution

Top Venues

ACM SIGOPS Oper. Syst. Rev.

Publications

Seongjae Park, Paul E. McKenney, Laurent Dufour, Heon Y. Yeom
An HTM-based update-side synchronization for RCU on NUMA systems. EuroSys (2020)
Paul E. McKenney, Joel Fernandes, Silas Boyd-Wickizer, Jonathan Walpole
RCU Usage In the Linux Kernel: Eighteen Years Later. ACM SIGOPS Oper. Syst. Rev. 54 (1) (2020)
Paul E. McKenney
A critical RCU safety property is... ease of use! SYSTOR (2019)
Alex Groce, Iftekhar Ahmed, Carlos Jensen, Paul E. McKenney, Josie Holmes
How verified (or tested) is my code? Falsification-driven verification and testing. Autom. Softw. Eng. 25 (4) (2018)
Lihao Liang, Paul E. McKenney, Daniel Kroening, Tom Melham
Verification of tree-based hierarchical read-copy update in the Linux kernel. DATE (2018)
Jade Alglave, Luc Maranget, Paul E. McKenney, Andrea Parri, Alan S. Stern
Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel. ASPLOS (2018)
Aravinda Prasad, K. Gopinath, Paul E. McKenney
The RCU-Reader Preemption Problem in VMs. USENIX Annual Technical Conference (2017)
Iftekhar Ahmed, Carlos Jensen, Alex Groce, Paul E. McKenney
Applying Mutation Analysis on Kernel Test Suites: An Experience Report. ICST Workshops (2017)
Paul E. McKenney
Is Parallel Programming Hard, And, If So, What Can You Do About It? (v2017.01.02a). CoRR (2017)
Lihao Liang, Paul E. McKenney, Daniel Kroening, Tom Melham
Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel. CoRR (2016)
Alex Groce, Iftekhar Ahmed, Carlos Jensen, Paul E. McKenney
How Verified is My Code? Falsification-Driven Verification (T). ASE (2015)
Paul E. McKenney
Structured Deferral: Synchronization via Procrastination. ACM Queue 11 (5) (2013)
Paul E. McKenney
Structured deferral: synchronization via procrastination. Commun. ACM 56 (7) (2013)
Mathieu Desnoyers, Paul E. McKenney, Michel R. Dagenais
Multi-core systems modeling for formal verification of parallel algorithms. ACM SIGOPS Oper. Syst. Rev. 47 (2) (2013)
Mathieu Desnoyers, Paul E. McKenney, Alan S. Stern, Michel R. Dagenais, Jonathan Walpole
User-Level Implementations of Read-Copy Update. IEEE Trans. Parallel Distributed Syst. 23 (2) (2012)
Paul E. McKenney
Beyond expert-only parallel programming? RACES@SPLASH (2012)
Thomas Gleixner, Paul E. McKenney, Vincent Guittot
Cleaning up Linux's CPU hotplug for real time and energy management. SIGBED Rev. 9 (4) (2012)
Paul E. McKenney
Retrofitted Parallelism Considered Grossly Sub-Optimal. HotPar (2012)
Josh Triplett, Paul E. McKenney, Jonathan Walpole
Resizable, Scalable, Concurrent Hash Tables via Relativistic Programming. USENIX Annual Technical Conference (2011)
Josh Triplett, Paul E. McKenney, Jonathan Walpole
Scalable concurrent hash tables via relativistic programming. ACM SIGOPS Oper. Syst. Rev. 44 (3) (2010)
Paul E. McKenney, Maged M. Michael, Josh Triplett, Jonathan Walpole
Why the grass may not be greener on the other side: a comparison of locking vs. transactional memory. ACM SIGOPS Oper. Syst. Rev. 44 (3) (2010)
Paul E. McKenney, Jonathan Walpole
Introducing technology into the Linux kernel: a case study. ACM SIGOPS Oper. Syst. Rev. 42 (5) (2008)
Robert F. Berry, Paul E. McKenney, Francis N. Parr
Responsive systems: An introduction. IBM Syst. J. 47 (2) (2008)
Dinakar Guniguntala, Paul E. McKenney, Josh Triplett, Jonathan Walpole
The read-copy-update mechanism for supporting real-time applications on shared-memory multiprocessor systems with Linux. IBM Syst. J. 47 (2) (2008)
Thomas E. Hart, Paul E. McKenney, Angela Demke Brown, Jonathan Walpole
Performance of memory reclamation for lockless synchronization. J. Parallel Distributed Comput. 67 (12) (2007)
Paul E. McKenney, Maged M. Michael, Jonathan Walpole
Why the grass may not be greener on the other side: a comparison of locking vs. transactional memory. PLOS@SOSP (2007)
Thomas E. Hart, Paul E. McKenney, Angela Demke Brown
Making lockless synchronization fast: performance implications of memory reclamation. IPDPS (2006)
Andrea Arcangeli, Mingming Cao, Paul E. McKenney, Dipankar Sarma
Using Read-Copy-Update Techniques for System V IPC in the Linux 2.5 Kernel. USENIX Annual Technical Conference, FREENIX Track (2003)
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, Bryan S. Rosenburg, Michael Stumm, Jimi Xenidis
Enabling autonomic behavior in systems software with hot swapping. IBM Syst. J. 42 (1) (2003)
S. Swaminathan, J. Stultz, J. F. Vogel, Paul E. McKenney
Fairlocks A High Performance Fair Locking Scheme. IASTED PDCS (2002)
Paul E. McKenney, Jack Slingwine, Phil Krueger
Experience with an efficient parallel kernel memory allocator. Softw. Pract. Exp. 31 (3) (2001)
Paul E. McKenney
Differential Profiling. Softw. Pract. Exp. 29 (3) (1999)
Paul E. McKenney
Selecting Locking Primitives for Parallel Programming. Commun. ACM 39 (10) (1996)
Paul E. McKenney
Differential Profiling. MASCOTS (1995)
Paul E. McKenney, Jack Slingwine
Efficient Kernel Memory Allocation on Shared-Memory Multiprocessors. USENIX Winter (1993)
Paul E. McKenney, Ken F. Dove
Efficient Demultiplexing of Incoming TCP Packets. Comput. Syst. 5 (2) (1992)
Paul E. McKenney, Ken F. Dove
Efficient Demultiplexing of Incoming TCP Packets. SIGCOMM (1992)
Paul E. McKenney, Peter E. Bausbacher
Physical- and Link-Layer Modeling of Packet-Radio Network Performance. IEEE J. Sel. Areas Commun. 9 (1) (1991)
Nachum Shacham, Paul E. McKenney
Packet Recovery in High-Speed Networks Using Coding and Buffer Management. INFOCOM (1990)
Paul E. McKenney
Stochastic Fairness Queueing. INFOCOM (1990)
Paul E. McKenney
High-Speed Event Counting and Classification Using a Dictionary Hash Technique. ICPP (3) (1989)
Ted G. Lewis, Keith R. Spitz, Paul E. McKenney
An Interleave Principle for Demonstrating concurrent Programs. IEEE Softw. 1 (4) (1984)
Kirk A. Bailey, Lee Boynton, Paul E. McKenney, Gary J. Oliver, Dave Regan
User Defined Files. ACM SIGOPS Oper. Syst. Rev. 15 (4) (1981)