Paul E. McKenney

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