Media Summary: Xavier Leroy, Sandrine Blazy, Zaynah Dargaye, Jacques-Henri Jourdan, Michael Schmidt, Bernhard Schommer, and ... Gernot Heiser, University of New South Wales; Gerwin Klein, Proofcraft; Harvey Tuch, Google; Kevin Elphinstone, University of ... Alfred Aho and Jeffrey Ullman discuss their work and contributions recognized by the 2020
Acm Software System Award 2021 - Detailed Analysis & Overview
Xavier Leroy, Sandrine Blazy, Zaynah Dargaye, Jacques-Henri Jourdan, Michael Schmidt, Bernhard Schommer, and ... Gernot Heiser, University of New South Wales; Gerwin Klein, Proofcraft; Harvey Tuch, Google; Kevin Elphinstone, University of ... Alfred Aho and Jeffrey Ullman discuss their work and contributions recognized by the 2020
