Languages and Compilers Group