Reports of the OS course.
- Hyperkernel: Push-Button Verification of an OS Kernel, SOSP 2017
- The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors, SOSP 2013.
- Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors,ACM Transactions on Computer Systems, Feb. 1991.
- Non-scalable locks are dangerous Linux Symposium 2012.
- Scalable Read-mostly Synchronization Using Passive Reader-Writer Locks.,Usenix ATC 2014
- Scalable Address Spaces Using RCU Balanced Trees, ASPLOS 2012
- Hyperkernel: Push-Button Verification of an OS Kernel, SOSP 2017
- Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors,ACM Transactions on Computer Systems, Feb. 1991.