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.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
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

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

2018
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

2017
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

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

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

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

2012
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

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

2010
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

2008
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

2007
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

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

2003
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

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

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

1999
Differential Profiling.
Softw. Pract. Exp., 1999

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

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

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

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

1990
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

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

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

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


  Loading...