This paper shows that non-scalable locks can cause dramatic collapse in the performance of real workloads, even for very short critical sections, and demonstrates a replacement of the offending nonscalable spin locks with MCS scalable locks.

This paper presents the design and implementation of Eraser, a tool for dynamically detecting racing conditions (data race) in lock-based multithreaded programs.

This paper presents the advantages and main challenges of implementing OpenLambda, a platform for building applications using the serverless computation model.

This paper shows how safe, modern programming languages let Microsoft rethink the architectural trade-offs in a experimental operating system.

This paper presents Xen, an x86 virtual machine monitor which allows multiple operating systems to share conventional hardware in a safe and resource managed fashion.