Turing Award
2018年3月21日、デイビッド・パターソンと共に、2017年度のACMチューリング賞の受賞者に指名された。2018年6月23日に授賞式が行われる。