We were awarded a “Distinguished Paper Award” and a “Best Artifact Award” for our PLDI‘22 paper on Finding Typing Compiler Bugs.