Our paper “API-driven Program Synthesis for Testing Static Typing Implementations” has been accepted at POPL’24.