
The Programming Languages and Compilers (PLC) Group focuses on developing foundations for building reliable, high-performance and energy-efficient software (including languages, semantics, type systems, program analysis, and implementation techniques) through rigorous experimental evaluation to demonstrate the impact of these foundations.
Our research areas include: