People
- Head
-
- Sebastian Hack
- Former Head
-
- Reinhard Wilhelm
- Office
-
- Sandra Neumann
- Staff
-
- Reinhard Spurk
- PhD Students
-
- Johannes Doerfert
- Michael Jacobs
- Tina Jung
- Simon Moll
- Fabian Ritter
- Postdocs
-
- Roland Leißa
- Alumni
-
- Ralf Karrenberg (NVIDIA)
- Marcel Köster (DFKI)
- Christoph Mallon (AbsInt)
- Sigurd Schneider (Google)
- Klaas Boesche (Google)
Research
We do research on compilers, programming languages, and program analysis.
- Vectorization and Parallelization
-
- Whole-Function Vectorization
- Sierra
- Sambamba
- Region Vectorizer
- SSA Form
-
- SSA Construction
- SSA Register Allocation
- The LVC Verified Compiler
- DSLs
-
- AnySL
- AnyDSL
- Floating-Point Accuracy
-
- FpDebug
Bachelor and Master Topics
Teaching
Winter Term 2018
- Core Course
-
- Compiler Construction
- Seminar
-
- Group Seminar
- Proseminar
-
- Rust