People
- Head
-
- Sebastian Hack
- Former Head
-
- Reinhard Wilhelm
- Office
-
- Sandra Neumann
- Post-Docs
-
- Roland Leißa
- PhD Students
-
- Michael Jacobs
- Tina Jung
- Simon Moll
- Fabian Ritter
- Staff
-
- Reinhard Spurk
- Alumni
-
- Ralf Karrenberg (NVIDIA)
- Marcel Köster (DFKI)
- Christoph Mallon (AbsInt)
- Sigurd Schneider (Google)
- Klaas Boesche (Google)
- Johannes Doerfert (ANL)
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
Teaching
Summer Term 2019
- Seminar
-
- Programming Languages and Compilers for Machine Learning
- Group Seminar
- Course
-
- Unix for Unix/Linux Beginners (in German)
BSc/MSc Theses
If you are interested in a MSc or BSc thesis, please contact Sebastian Hack. We have a variety of topics available. Having passed passed the compilers core lecture is a plus. Thesis work is regularly discussed in our Bachelor/Master Seminar.