Media Summary: Gernot Heiser, University of New South Wales; Gerwin Klein, Proofcraft; Harvey Tuch, Google; Kevin Elphinstone, University of ... Xavier Leroy, Sandrine Blazy, Zaynah Dargaye, Jacques-Henri Jourdan, Michael Schmidt, Bernhard Schommer, and ... Michael Burrows, Google; Paolo Ferragina, University of Pisa; and Giovanni Manzini, University of Pisa, receive the
2022 Acm Software System Award - Detailed Analysis & Overview
Gernot Heiser, University of New South Wales; Gerwin Klein, Proofcraft; Harvey Tuch, Google; Kevin Elphinstone, University of ... Xavier Leroy, Sandrine Blazy, Zaynah Dargaye, Jacques-Henri Jourdan, Michael Schmidt, Bernhard Schommer, and ... Michael Burrows, Google; Paolo Ferragina, University of Pisa; and Giovanni Manzini, University of Pisa, receive the Mohammad Alizadeh, Massachusetts Institute of Technology, is the recipient of the
