Jan Reineke
Scholar

Jan Reineke

Google Scholar ID: s1otaQ0AAAAJ
Professor of Computer Science, Saarland University, Saarland Informatics Campus
program analysisabstract interpretationreal-time systemsmicroarchitectural security
Citations & Impact
All-time
Citations
2,202
 
H-index
26
 
i10-index
45
 
Publications
20
 
Co-authors
22
list available
Resume (English only)
Academic Achievements
  • Developed several tools such as LLVMTA (a WCET analysis tool based on the LLVM compiler infrastructure), uops.info (provides latency, throughput, and port usage information for instructions on recent Intel processors), etc.; led multiple teaching activities in system architecture, hardware security, and more.
Research Experience
  • Currently leads the Real-Time and Embedded Systems Lab at Saarland University; research areas cover static program analysis, verification of real-time systems, etc.
Background
  • Research interests include real-time and embedded systems, safety and security problems at the hardware-software interface.
Miscellany
  • Looking for PhD students and postdocs to join his team, focusing on addressing safety and security issues at the hardware-software interface.