Programming Languages and Compilers
Current research activities include programming language and compiler support for multicores, domain-specific programming, information flow security, differential privacy, compiler-based software hardening, fault localization, binary code analysis, language level persistency, compiler-architecture interaction, and programming language support for energy-scavenging systems.