The SIGOPS Hall of Fame Award (HoF) was instituted in 2005 to recognize the most influential Operating Systems papers that were published at least ten years in the past. The selection committee consisted of Rich Draves, Robbert van Renesse, and Tom Anderson.
The following two papers were selected to receive the HoF Awards for 2019.
Kirk Glerum, Kinshuman Kinshumann, Steve Greenberg, Gabriel Aul, Vince Orgovan, Greg Nichols, David Grant, Gretchen Loihle, and Galen Hunt
For their paper
Debugging in the (Very) Large: Ten Years of Implementation and Experience
In
SOSP ’09 Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles
“This paper describes the successful decade-long effort to dramatically improve the security and reliability of Windows by collecting and analyzing data on every crash experienced by every PC anywhere in the world. Although we now take it for granted that deployed software should always "phone home" error reports, the work described in this paper was the first to do so at global scale.”
Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, and Simon Winwood
For their paper
seL4: formal verification of an OS kernel
In
SOSP ’09 Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles
“The seL4 project was the first to provide a machine-checked proof of correctness and security properties of a high-performance microkernel. The authors used a unique approach that fuses formal and operating systems techniques, resulting in a general purpose operating system kernel that performs as well as a state-of-the-art microkernel and whose behavior can be precisely predicted for any input. The work has become the basis for a large amount of subsequent work in provably correct systems.”
The awards were announced Tuesday, October 29, 2019 at the SOSP 2019 banquet and awards session.