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 awardcall_made for a paper titled "external pageseL4: formal verification of an OS kernelcall_made". The paper was published ten years ago at SOSP 2009.
The external pageseL4 projectcall_made 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.