Not only has his research appeared and won best paper awards in top CS venues, but it also has had significant practical impact — his work has been incorporated into widely-used commercial products (e.g. Microsoft Windows) and helped significantly improve the quality of critical open-source software (e.g. GCC and LLVM).