: Fast and Concurrent Query Processing on Big (Linked) Data
: Fast In-memory Transactional Processing using Transactional Memory.
: NUMA-aware Graph-structured Analytics Framework.
: Differentiated graph computation and partitioning.
: Adaptive mode switch on parallel graph computation.
: Replication-based Fault-tolerance for Large-scale Graph Processing.
: Computation and Communication Efficient Graph Processing.
: Confidentiality and High-assurance equipped Operating Systems
: Combining Performance with Depdendability Using Self-virtualization
: A POwerful Live Updating Systems
: Providing Live Update Support for Contemporary Operating System
: VMM-based Process Shepherding
: Speculative Hardware-based Information Flow Tracking
: Safe Binary Device Driver Reuse via User-level Binary Translation
: Optimizing Crash Dump in Virtualized Environments
: A comprehensive study on software hang
: A scalable and portable parallel full-system emulator
Parallel VM Migration
:Parallelizing Live Migration of Virtual Machines
: Passive reader writer lock
: Efficient and Available In-memory KV-Store with Hybrid Erasure Coding and Replication