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