Theses

Art	Name
Diploma/Master thesis	Formalization of SSA-form
Diploma/Master thesis	Inferring equalities in functional programs
Diploma/Master thesis	Software security analysis with program dependence graphs for conventional power plants
Studien-/Diplomarbeit	Instruction Rescheduling after Register Allocation
bachelor/study thesis	Development of a distributed PBQP solver in X10
bachelor/study thesis	Evaluation of a software security criterion
bachelor/study thesis	Optimization of Dynamic Dispatch via Rapid Type Analysis
bachelor/study thesis	Stack Allocation in X10 via Escape Analysis
Bachelor/Master thesis	Modelling biological pathways using constraint systems and inductive logic
Bachelor/Master thesis	Value Tracking for Debuggers