Virtual Machines and Containers

• Bug detection
  • HyperFuzzer: An Efficient Hybrid Fuzzer for Virtual CPUs(CCS'21)
  • Scavenger:Misuse Error Handling leading to QEMU/KVM Escape(Black Hat Asia'21)
  • Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types (Security'21)
  • Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints (Security'20)
• Debugging
  • Reverse Debugging of Kernel Failures in Deployed Systems (ATC'20)
  • Debugging Operating Systems with Time-Traveling Virtual Machines (ATC'05)
• Provenance
  • Panorama: Capturing System-wide Information Flow for Malware Detection and Analysis (CCS'07)
• QEMU Design & Extended
  • A KVM-Based Logging and Replay System for Debugging Non-Deterministic Executions (CCV'10)
  • Dynamically Translating x86 to LLVM using QEMU (Technical Report 2010)
  • QEMU, a Fast and Portable Dynamic Translator (ATC'05)
• Deduplication
  • UKSM: Swift Memory Deduplication via Hierarchical and Adaptive Memory Region Distilling (FAST '18)
• Benchmarking
  • CNSBench: A Cloud Native Storage Benchmark (FAST'21)
• Containers
  • Bare-metal, Virtual Machines and Containers in OpenStack (ICIN'17)

QEMU reference

• QEMU paper
  1. On the interfacing between QEMU and SystemC for virtual platform construction: Using DMA as a case
  2. TQSIM: A fast cycle-approximate processor simulator based on QEMU
  3. A QEMU and SystemC-Based Cycle-Accurate ISS for Performance Estimation on SoC Development
  4. A Fault Injection System Based on QEMU Simulator and Designed for BIT Software Testing
  5. QEMU, a Fast and Portable Dynamic Translator (ATC'05)
  6. Configurable system call tracer in QEMU emulator
• Book chapter
  1. QEMU Detailed Study
  2. QEMU + GDB Debugging Environment
  3. QEMU Emulator User Documentation
  4. Fuzzing QEMU Device Emulation
  5. Developer manual
• Presentation
  1. Security in QEMU How Virtual Machines provide Isolation -Stefan Hajnoczi
  2. Tracing in the QEMU emulator user case study -Stefan Hajnoczi
  3. QEMU: Architecture and Internals Lecture for the Embedded Systems Course -Manolis Marazakis
  4. QEMU Code Overview - Stefan Hajnoczi
  5. QEMU - Jussi Knuuttila
  6. VIRTIO 1.0
  7. QEMU disk I/O injection framework: blkdebug:example
  8. Using NVDIMM under KVM: video
  9. Applying Polling Techniques to QEMU: video
  10. Security in QEMU-How Virtual Machines provide Isolation
  11. Bring SCSI support into QEMU block layer
  12. QEMU snapshots are slow. Really?
  13. Virtual Device Fuzzing in QEMU
  14. Virtio-(balloon|pmem|mem): Managing Guest Memory