Compiler Design Lab

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


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