معرفی
Jan Reineke is a Professor of Computer Science at Saarland University, where he leads research at the intersection of hardware and software. His work focuses on timing-predictable microarchitectures, real-time systems, and hardware-software security contracts.
- Affiliation: Saarland University (since 2012)
- Previous: Postdoctoral scholar at UC Berkeley (2009-2011)
Research Interests include static program analysis, real-time systems, computer architecture, and hardware-related security issues. His group develops tools like LLVMTA, uops.info, and Spectector for cache analysis, microarchitectural profiling, and speculative execution security.
- Design of timing-predictable processors (RTSS 2018, RTSS 2019)
- Exact LRU cache analysis (CAV 2017, POPL 2019, RTSS 2019)
- Detection of speculative information flows (S&P 2020, S&P 2021)
- Quantitative cache analysis frameworks (RTAS 2025)
Recent Articles span cache timing analysis, speculative execution vulnerabilities, and performance modeling. Keywords include Real-Time Systems, Security, Computer Architecture, and Static Analysis, with sub-fields covering cache persistence, hardware-software contracts, throughput prediction, and formal verification of side-channels.
Scientific Awards include an ERC Advanced Grant (2021), multiple best paper awards (RTAS 2025, DATE 2024, CCS 2023), and the Intel Early Career Faculty Honor Program (2012).
Advising and Grants: He actively recruits PhD students and postdocs for hardware-software security research, supported by the ERC grant. His lab's alumni include Dr. Sebastian Hahn, and he has hosted numerous student assistants.
Labs and Teams: He leads the Real-Time and Embedded Systems Lab at Saarland Informatics Campus, collaborating on projects like uops.info (Intel microarchitectural profiling) and chi (cache hierarchy inference).
