Compiler Design Lab

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


We do research on compilers, programming languages, and program analysis.

Vectorization and Parallelization
  • Whole-Function Vectorization
  • Sierra
  • Sambamba
  • SSA Form
  • SSA Construction
  • SSA Register Allocation
  • The LVC Verified Compiler
  • DSLs
  • AnySL
  • AnyDSL
  • Floating-Point Accuracy
  • FpDebug