Focusing on developing foundations for building reliable, high-performance and energy-efficient software, The Programming Languages and Compilers (PLC) Group’s work incorporates languages, semantics, type systems, program analysis, and implementation techniques. Through rigorous experimental evaluation, we demonstrate the impact of these foundations. Areas include: type systems; program analysis; code optimisation; memory management and high performance and security.