Dr. David Cock wins ACM SIGOPS 2019 Hall of Fame award
Dr. David Cock, a postdoctoral researcher at the Institute for Computing Platforms (Department of Computer Science), received the ACM SIGOPS 2019 Hall of Fame award for a paper he co-authored ten years ago.
David Cock, along with his co-authors Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, and Simon Winwood, won the ACM SIGOPS 2019 Hall of Fame award for a paper entitled "seL4: formal verification of an OS kernel". The paper was published ten years ago at SOSP 2009.
The seL4 project was the first to provide a machine-checked proof of correctness and security properties of a high-performance microkernel. The authors' work has become the basis for a large amount of subsequent work in provably correct systems.