Dr. David Cock wins ACM SIGOPS 2019 Hall of Fame award

Dr. David Cock, a postdoctoral researcher in the Systems Group, 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 external pageACM SIGOPS 2019 Hall of Fame award for a paper titled "external pageseL4: formal verification of an OS kernel". The paper was published ten years ago at SOSP 2009.

The external pageseL4 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.

JavaScript has been disabled in your browser