Sealing OS processes to improve dependability and safety
Dynamic and adaptive updates of non-quiescent subsystems in commodity operating system kernels
Dryad