2019: Domain Name System 2020: Berkeley DB (אנ) 2021: CompCert (אנ) 2022: seL4 (אנ) אתר האינטרנט הרשמי של פרס ACM למערכת תוכנה (באנגלית) Software System
ג'ון אנדרוניק (אנ') מקבלת את פרס ACM למערכת תוכנה על פיתוח מיקרוקרנל seL4 ממשפחת L4 (אנ'), מיקרוקרנל תעשייתי ראשון שמאומת פורמלית. ישראל מיכל ברוורמן-בלומנשטיק