Compiler Design Lab

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

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

    Winter Term 2018

    Core Course
  • Compiler Construction
  • Seminar
  • Group Seminar
  • Proseminar
  • Rust
  • Course
  • Unix for Unix/Linux Beginners (in German)
  • previous »