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.