Compiler Design Lab

Compiler Design Lab

Welcome to the pages of the Compiler Design Lab at Saarland Informatics Campus at Saarland University.

People

Head
  • Sebastian Hack
    • Former Head
  • Reinhard Wilhelm
    • Office
  • Sandra Neumann
    • Staff
  • Reinhard Spurk
    • PhD Students
  • Klaas Boesche
  • 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)

    • 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

    List of thesis topics

    Teaching

    Summer Term 2018

    Lecture
  • Programmierung 2
    • Course
  • Git & Unix Vorkurs für Programmierung 2
  • Unix for Unix/Linux Beginners (in German)
    • Seminar
  • Group Seminar
  • Memory Safety
  • Distributed Computing

    • previous »