Focusing on developing foundations for building reliable, high-performance and energy-efficient software, The Programming Languages and Compilers (PLC) Group鈥檚 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; compiler optimisation; memory management and high performance and security.聽
