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 ... Guy E. Blelloch, Carnegie Mellon University; Laxman Dhulipala, University of Maryland; and Julian Shun, Massachusetts Institute ...
2023 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 ... Guy E. Blelloch, Carnegie Mellon University; Laxman Dhulipala, University of Maryland; and Julian Shun, Massachusetts Institute ... Prateek Mittal, Princeton University, is the recipient of the
