We conduct research on design and analysis problems at the boundary between hardware and software.
Our recent work has focused on the following topics:
- Security in the Presence of Microarchitectural Side Channels
- Automatic Derivation of Detailed Performance Models of Modern Hardware Platforms
- Design of Timing-Predictable Microarchitectures
- Timing Analysis for Software Systems deployed on Multi-core Architectures