default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPaul E. McKenney
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[j21]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): 47-63 (2020)- [c20]Seongjae Park, Paul E. McKenney, Laurent Dufour, Heon Y. Yeom:
An HTM-based update-side synchronization for RCU on NUMA systems. EuroSys 2020: 37:1-37:15
2010 – 2019
- 2019
- [c19]Paul E. McKenney:
A critical RCU safety property is... ease of use! SYSTOR 2019: 132-143 - 2018
- [j20]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): 917-960 (2018) - [c18]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: 405-418 - [c17]Lihao Liang, Paul E. McKenney, Daniel Kroening
, Tom Melham:
Verification of tree-based hierarchical read-copy update in the Linux kernel. DATE 2018: 61-66 - 2017
- [c16]Iftekhar Ahmed, Carlos Jensen, Alex Groce, Paul E. McKenney:
Applying Mutation Analysis on Kernel Test Suites: An Experience Report. ICST Workshops 2017: 110-115 - [c15]Aravinda Prasad, K. Gopinath, Paul E. McKenney:
The RCU-Reader Preemption Problem in VMs. USENIX ATC 2017: 265-270 - [i2]Paul E. McKenney:
Is Parallel Programming Hard, And, If So, What Can You Do About It? (v2017.01.02a). CoRR abs/1701.00854 (2017) - 2016
- [i1]Lihao Liang, Paul E. McKenney, Daniel Kroening, Tom Melham:
Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel. CoRR abs/1610.03052 (2016) - 2015
- [c14]Alex Groce, Iftekhar Ahmed, Carlos Jensen, Paul E. McKenney:
How Verified is My Code? Falsification-Driven Verification (T). ASE 2015: 737-748 - 2013
- [j19]Paul E. McKenney:
Structured deferral: synchronization via procrastination. Commun. ACM 56(7): 40-49 (2013) - [j18]Paul E. McKenney:
Structured Deferral: Synchronization via Procrastination. ACM Queue 11(5): 20 (2013) - [j17]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): 51-65 (2013) - 2012
- [j16]Thomas Gleixner, Paul E. McKenney, Vincent Guittot:
Cleaning up Linux's CPU hotplug for real time and energy management. SIGBED Rev. 9(4): 49-52 (2012) - [j15]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): 375-382 (2012) - [c13]Paul E. McKenney:
Retrofitted Parallelism Considered Grossly Sub-Optimal. HotPar 2012 - [c12]Paul E. McKenney:
Beyond expert-only parallel programming? RACES@SPLASH 2012: 25-32 - 2011
- [c11]Josh Triplett, Paul E. McKenney, Jonathan Walpole:
Resizable, Scalable, Concurrent Hash Tables via Relativistic Programming. USENIX ATC 2011 - 2010
- [j14]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): 93-101 (2010) - [j13]Josh Triplett, Paul E. McKenney, Jonathan Walpole:
Scalable concurrent hash tables via relativistic programming. ACM SIGOPS Oper. Syst. Rev. 44(3): 102-109 (2010)
2000 – 2009
- 2008
- [j12]Robert F. Berry, Paul E. McKenney, Francis N. Parr:
Responsive systems: An introduction. IBM Syst. J. 47(2): 197-206 (2008) - [j11]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): 221-236 (2008) - [j10]Paul E. McKenney, Jonathan Walpole:
Introducing technology into the Linux kernel: a case study. ACM SIGOPS Oper. Syst. Rev. 42(5): 4-17 (2008) - 2007
- [j9]Thomas E. Hart, Paul E. McKenney, Angela Demke Brown, Jonathan Walpole:
Performance of memory reclamation for lockless synchronization. J. Parallel Distributed Comput. 67(12): 1270-1285 (2007) - [c10]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: 6:1-6:5 - 2006
- [c9]Thomas E. Hart, Paul E. McKenney, Angela Demke Brown:
Making lockless synchronization fast: performance implications of memory reclamation. IPDPS 2006 - 2003
- [j8]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): 60-76 (2003) - [c8]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 ATC, FREENIX Track 2003: 297-309 - 2002
- [c7]S. Swaminathan, J. Stultz, J. F. Vogel, Paul E. McKenney:
Fairlocks A High Performance Fair Locking Scheme. IASTED PDCS 2002: 241-246 - 2001
- [j7]Paul E. McKenney, Jack Slingwine, Phil Krueger:
Experience with an efficient parallel kernel memory allocator. Softw. Pract. Exp. 31(3): 235-257 (2001)
1990 – 1999
- 1999
- [j6]Paul E. McKenney:
Differential Profiling. Softw. Pract. Exp. 29(3): 219-234 (1999) - 1996
- [j5]Paul E. McKenney:
Selecting Locking Primitives for Parallel Programming. Commun. ACM 39(10): 75-82 (1996) - 1995
- [c6]Paul E. McKenney:
Differential Profiling. MASCOTS 1995: 237-241 - 1993
- [c5]Paul E. McKenney, Jack Slingwine:
Efficient Kernel Memory Allocation on Shared-Memory Multiprocessors. USENIX Winter 1993: 295-306 - 1992
- [j4]Paul E. McKenney, Ken F. Dove:
Efficient Demultiplexing of Incoming TCP Packets. Comput. Syst. 5(2): 141-157 (1992) - [c4]Paul E. McKenney, Ken F. Dove:
Efficient Demultiplexing of Incoming TCP Packets. SIGCOMM 1992: 269-279 - 1991
- [j3]Paul E. McKenney, Peter E. Bausbacher:
Physical- and Link-Layer Modeling of Packet-Radio Network Performance. IEEE J. Sel. Areas Commun. 9(1): 59-64 (1991) - 1990
- [c3]Nachum Shacham, Paul E. McKenney:
Packet Recovery in High-Speed Networks Using Coding and Buffer Management. INFOCOM 1990: 124-131 - [c2]Paul E. McKenney:
Stochastic Fairness Queueing. INFOCOM 1990: 733-740
1980 – 1989
- 1989
- [c1]Paul E. McKenney:
High-Speed Event Counting and Classification Using a Dictionary Hash Technique. ICPP (3) 1989: 71-75 - 1984
- [j2]Ted G. Lewis, Keith R. Spitz, Paul E. McKenney:
An Interleave Principle for Demonstrating concurrent Programs. IEEE Softw. 1(4): 54-64 (1984) - 1981
- [j1]Kirk A. Bailey, Lee Boynton, Paul E. McKenney, Gary J. Oliver, Dave Regan:
User Defined Files. ACM SIGOPS Oper. Syst. Rev. 15(4): 75-84 (1981)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-17 21:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
