Real-Time and Embedded Systems Lab
Team
Prof. Jan Reineke
Dr. Andreas Abel
Shrey Sharma
Dr. Valentin Touzeau
Alumni
Dr. Sebastian Hahn
Contact Information
Research
Publications
Presentations
Tools
LLVMTA
An open-source WCET analysis Tool based on the LLVM compiler infrastructure
uops.info
- Latency, Throughput, and Port Usage Information for Instructions on Recent Intel Processors
uiCA - The uops.info Code Analyzer
nanoBench
- A tool for running small microbenchmarks
Spectector
- Automatic detection of speculative information flows
chi
- Cache Hierarchy Inference
CacheAudit: A Tool for the Static Analysis of Cache Side Channels
MeMin
- Mealy Minimization
Relacs - Automatic Relative Competitive Analysis
PTARM Simulator
Sprattus - A Framework for Rapid Prototyping of Program Analyses
Thesis Topics
Teaching
Summer 2024
Course: System Architecture
Group Seminar
Earlier Courses
Winter 2023/2024
Advanced Course: Program Analysis
Group Seminar
Summer 2023
Course: System Architecture
Group Seminar
Winter 2022/2023
Advanced Course: Program Analysis
Seminar: Microarchitectural Security via Hardware-Software Contracts
Group Seminar
Summer 2022
Course: System Architecture
Group Seminar
Winter 2021/2022
Course: Einführung in eingebettete Systeme
Group Seminar
Summer 2021
Course: Systemarchitektur
Group Seminar
Winter 2020/2021
Advanced Course: Program Analysis
Seminar: Microarchitectural Attacks and Defenses
Group Seminar
Summer 2020
Course: Systemarchitektur
Group Seminar
Winter 2019/2020
Course: Einführung in eingebettete Systeme
Advanced Course: Program Analysis
Group Seminar
Summer 2019
Course: Systemarchitektur
Group Seminar
Winter 2018/2019
Course: Einführung in eingebettete Systeme
Advanced Course: Program Analysis
Seminar/Proseminar: Hardware Design
Group Seminar
Summer 2018
Course: Systemarchitektur
Winter 2017/2018
Advanced Course: Verification of Real-Time Systems
Course: Einführung in eingebettete Systeme
Summer 2017
Course: Systemarchitektur
Summer School Course: Design and Analysis of Time-Critical Systems
Winter 2016/2017
Course: Einführung in eingebettete Systeme
Seminar/Proseminar: Hardware Design
Summer 2016
Course: Systemarchitektur
Winter 2015/2016
Seminar: Resource Sharing in Real-Time Systems
Seminar: Programming Language Implementation
Summer 2015
Advanced Course: Verification of Real-Time Systems
Winter 2014/2015
Advanced Course: Static Program Analysis
Summer 2014
Course: Systemarchitektur
Winter 2013/2014
Seminar: Robustness of Hardware and Software Systems
Summer 2013
Advanced Course: Design and Analysis of Real-Time Systems
Winter 2012/2013
Proseminar: Statische Programmanalyse
Summer 2012
Doctoral Privatissimum: The impact of resource sharing on performance and performance prediction
Basic Course: Programmieren für Ingenieure
Thesis Topics
Systemarchitektur Sommersemester 2020
Dies ist nur eine statische Kurzübersicht zur Vorlesung Systemarchitektur im Sommersemester 2020. Zur eigentlichen Webseite geht es
HIER
.