A team of 14 people has won the ACM Software System Award. The winners included: Gernot Heiser, University of New South Wales; Gerwin Klein, Proofcraft; Harvey Tuch, Google; Kevin Elphinstone, University of New South Wales; June Andronick, Proofcraft; David Cock, ETH Zurich; Philip Derrin, Qualcomm; Dhammika Elkaduwe, University of Peradeniya; Kai Engelhardt; Toby Murray, University of Melbourne; Rafal Kolanski, Proofcraft; Michael Norrish, Australian National University; Thomas Sewell, University of Cambridge; and Simon Winwood, Galois. They were recognised for developing the seL4 microkernel, the first industrial-strength, high-performance operating system to have been the subject of a complete, mechanically-checked proof of full functional correctness.
Software System Award Goes to the seL4 Microkernel Team
Recent Posts
- Avi Wigderson Receives the 2023 ACM A.M. Turing Award
- IFIP Board Meets in Toronto
- Nominate Now for IFIP Awards
- IFIP Joins AIM Global to Drive Positive Change in AI
- CIPS & IFIP Board Collaborate on Climate Change
- IT Professionals and Climate – A Perspective
- IFIP Congratulates New Women Presidents of Member Societies
- Deepfakes a Major Risk for UK General Election, Say BCS
- IP3 News
- Supporting the Digital Literacy Alliance
Categories
Media Contacts
Caroline New
caroline@quantumvalues.com