Impactful Research and Tooling for Program Correctness