G. Barany: "Semantics-Based Code Optimizations with SATIrE"; Supervisor: J. Knoop; Institut für Computersprachen, 2008; final examination: 2008-02-01.