| RCU Usage In the Linux Kernel: Eighteen Years Later | 0 | 0.34 | 2020 |
| A critical RCU safety property is... ease of use | 0 | 0.34 | 2019 |
| Verification of tree-based hierarchical read-copy update in the Linux kernel | 3 | 0.36 | 2018 |
| How verified (or tested) is my code? Falsification-driven verification and testing. | 2 | 0.43 | 2018 |
| Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel. | 7 | 0.44 | 2018 |
| Is Parallel Programming Hard, And, If So, What Can You Do About It? (v2017.01.02a). | 2 | 0.37 | 2017 |
| Applying Mutation Analysis on Kernel Test Suites: An Experience Report | 4 | 0.38 | 2017 |
| The Rcu-Reader Preemption Problem In Vms | 2 | 0.37 | 2017 |
| How Verified is My Code? Falsification-Driven Verification (T) | 5 | 0.40 | 2015 |
| Structured deferral: synchronization via procrastination | 10 | 0.53 | 2013 |
| Multi-core systems modeling for formal verification of parallel algorithms | 5 | 0.43 | 2013 |
| Cleaning up Linux's CPU hotplug for real time and energy management | 8 | 0.76 | 2012 |
| Beyond expert-only parallel programming? | 0 | 0.34 | 2012 |
| Retrofitted parallelism considered grossly sub-optimal | 0 | 0.34 | 2012 |
| User-Level Implementations of Read-Copy Update | 28 | 1.24 | 2012 |
| Resizable, scalable, concurrent hash tables via relativistic programming | 32 | 1.46 | 2011 |
| Why the grass may not be greener on the other side: a comparison of locking vs. transactional memory | 11 | 0.57 | 2010 |
| Scalable concurrent hash tables via relativistic programming | 21 | 1.02 | 2010 |
| Introducing technology into the Linux kernel: a case study | 10 | 1.38 | 2008 |
| Performance of memory reclamation for lockless synchronization | 49 | 2.09 | 2007 |
| Making lockless synchronization fast: performance implications of memory reclamation | 15 | 0.74 | 2006 |
| Using Read-Copy-Update Techniques for System V IPC in the Linux 2.5 Kernel | 14 | 0.95 | 2003 |
| Fairlocks A High Performance Fair Locking Scheme | 2 | 0.39 | 2002 |
| Experience with an efficient parallel kernel memory allocator | 3 | 0.57 | 2001 |
| Differential profiling | 1 | 0.37 | 1999 |
| Selecting locking primitives for parallel programming | 21 | 2.87 | 1996 |
| Efficient demultiplexing of incoming TCP packets | 24 | 10.28 | 1992 |
| User defined files | 0 | 0.34 | 1981 |
