About ACM Software System Award

Awarded to an institution or individual(s) recognized for developing a software system that has had a lasting influence, reflected in contributions to concepts, in commercial acceptance, or both. The Software System Award carries a prize of $35,000. Financial support for the Software System Award is provided by IBM.

 

Recent Software System Award News

Software System Award Goes to Fourteen for the Development of Groundbreaking High-Performance Operating System

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, receive the ACM Software System Award for the development of the first industrial-strength, high-performance operating system to have been the subject of a complete, mechanically-checked proof of full functional correctness.

2022 ACM Software System Award recipients Gernot Heiser, Gerwin Klein, Harvey Tuch, Kevin Elphinstone, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt; Toby Murray, Rafal Kolanski, Michael Norrish, Thomas Sewell and Simon Winwood

Career-Long Contributions

Early-to-Mid-Career Contributions

Specific Types of Contributions

Student Contributions

Regional Awards

SIG Awards

How Awards Are Proposed