Finding Typing Compiler Bugs with Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Ben Livshits and Dimitris Mitropoulos was accepted at PLDI 2022.