Virtual Machine

• [USENIX'08] Bridging the gap between software and hardware techniques for I/O virtualization
• [USENIX'08] Decoupling Dynamic Program Analysis from Execution in Virtual Environments
• [ASPLOS'06] Geiger: Monitoring the Buffer Cache in a Virtual Machine Environment
• [USENIX'06] Antfarm: Tracking Processes in a Virtual Machine Environment
• [USENIX'06] Optimizing network virtualization in Xen
• [NSDI'06] Virtualization Aware File Systems: Getting Beyond the Limitations of Virtual Disks
• [USENIX'05] Friendly Virtual Machines: Leveraging a Feedback-Control Model for Application Adaptation
• [NSDI'05] Live Migration of Virtual Machines
• [NSDI'04] Constructing Services with Interposable Virtual Hardware
• [OSDI'04] Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines
• [USENIX'03] Operating System Support for Virtual Machines
• [USENIX'00] Analysis of the Intel Pentium's Ability to Support a Secure Virtual Machine Monitor
• [SOSP'99] Cellular Disco: Resource Management Using Virtual Clusters on Shared-Memory Multiprocessors

VM Memory Management

• [OSDI'08] Difference Engine: Harnessing Memory Redundancy in Virtual Machines
• [OSDI'02] Memory Resource Management in VMware ESX Server

Thread

• [SOSP'03] Capriccio: Scalable Threads for Internet Services
• [SOSP'01] SEDA: An Architecture for Well-Conditioned, Scalable Internet Services

Path Tracking

• [SIGMETRICS'08] Tracking in a spaghetti bowl: monitoring transactions using footprints
• [NSDI'06] Pip: Detecting the Unexpected in Distributed Systems
• [SIGMETRICS'06] Stardust: Tracking Activity in a Distributed Storage System
• [WWW'06] WAP5: black-box performance debugging for wide-area systems
• [NSDI'04] Path-Based Failure and Evolution Management
• [OSDI'04] Using Magpie for Request Extraction and Workload Modelling
• [SOSP'03] Performance debugging for distributed systems of black boxes
• [DSN'02] Pinpoint: Problem Determination in Large, Dynamic Internet Services

(Distributed) Debugging

• [OSDI'08] Finding and Reproducing Heisenbugs in Concurrent Programs
• [OSDI'08] KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
• [NSDI'07] Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code

Others

• [SOSP'07] TxLinux: Using and Managing Hardware Transactional Memory in an Operating System
• [SOSP'07] Improving File System Reliability with I/O Shepherding
• [USENIX'07] Events Can Make Sense
• [VEE'06] Live updating operating systems using virtualization
• [USENIX'05] Adaptive Main Memory Compression
• [VEE'05] PDS: A Virtual Execution Environment for Software Deployment
• [ASPLOS'04] Dynamically Tracking Miss-Ratio-Curve for Memory Management
• [HotOS'03] Why Events Are a Bad Idea
• [USENIX'03] Application-specific Delta-encoding via Resemblance Detection
• [USENIX'99] Flash: an efficient and portable web server.