Program Optimization with LLVM

Speaker Dr. Michael Petter
Location MI 02.07.051
Date daily, 5th Nov - 23rd Nov 9:00-17:00
Module IN2106, IN0012


In this practical course we will integrate a basic program analysis in the LLVM Opt tool, and explore the generated IR code for potential optimizations.

Last semester, students have worked on an initial program analysis, inferring value set overapproximations intraprocedurally.
This semester, we will tackle interprocedural program analysis, i.e. call-string and functional analysis.