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 Frans Kaashoek, Rich Draves, Robbert van Renesse.
The following two papers were selected to receive the HoF Awards for 2018.
Cristian Cadar, Daniel Dunbar, and Dawson Engler
For their paper
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs.
In OSDI’08 Proceedings of the 8th USENIX conference on Operating systems design and implementation.
“KLEE shows how to scale symbolic execution to generating automatic tests that achieve high coverage and applying it to widely-used software, including the GNU COREUTILS utility programs. The authors demonstrated KLEE’s effectiveness on heavily-used programs by finding bugs that manual testing has missed. The ideas and results have been an inspiration for many subsequent work on automatic bug finding.”
Yuan Yu, Michael Isard, Dennis Fetterly, Mihai Budiu, Úlfar Erlingsson, Pradeep Kumar Gunda, and Jon Currey
For their paper
DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language.
In OSDI’08 Proceedings of the 8th USENIX conference on Operating systems design and implementation.
“DryadLINQ demonstrated how to provide declarative operations on top of a distributed dataflow system, making it convenient for programmers to compute on large data sets using relational operators while providing high-performance. Its techniques include translating data-parallel operations into a distributed execution plan for the Dryad data flow system. The paper demonstrated its effectiveness by showing results from Dryad in production on clusters with thousands of computers.”
The award was announced Tuesday, October 29, 2019 at the SOSP 2019 banquet and awards session.