PLDI’22 Best Artifact Award for “Finding Typing Compiler Bugs”