An empirical study of operating systems errors
Proceedings of the eighteenth ACM symposium on Operating systems principles - SOSP ’01
Dawson Engler
Seth Hallem
Benjamin Chelf
Junfeng Yang
Cooperative Update: A New Model for Dependable Live Update