PL and Compilers Research