Theses

Art	Name
Diploma/Master thesis	A functional, complete and referentially transparent intermediate representation for compilers
Diploma/Master thesis	Comparing Algorithmic and Logic based Points-to Analyses
Diploma/Master thesis	Generation of Local Optimizations
Diploma/Master thesis	Optimierung einer funktionalen und referentiell transparenten Zwischendarstellung
Diploma/Master thesis	Representing alias information in the program graph structure
Diploma/Master thesis	SSA-based partial redundancy elimination
study thesis	AMD64 Backend
study thesis	Bit-size Minimization by Data Flow Analysis
study thesis	Compiler from Java to Jinja
study thesis	Dataflow analysis: Enhance controlflow precision for exceptions
study thesis	Deriving Restrictions on Value Types
study thesis	Development of a parallel PBQP solvers with X10
study thesis	Development of criteria for application of loop optimizations
study thesis	Eine Systematik für lokale Optimierungen
study thesis	Evaluation verschiedener Profilierungsverfahren zur Just-in-Time-Kompilierung auf eingebetteten Systemen
study thesis	Extending the Java 6 compiler with precise sourcecode references
study thesis	Sparc Backend
study thesis	SSA-based register assignment with integrated copy minimization
study thesis	Transformation of SSA based intermediate languages
study thesis	Verified Implementation of Patricia trees
study thesis	Verifiying Shiver's functional CFA analysis
bachelor thesis	Implementing a Distributed Breadth-First Search in X10
bachelor thesis	Improving the libFirm Inlining Optimization
bachelor thesis	Optimierung von Stencil-Algorithmen für invasive Architekturen
bachelor thesis	Visualization of Lazy Evaluation and Sharing
bachelor/study thesis	Android bytecode: Dalvik frontend for program analysis tool
bachelor/study thesis	Constructing control flow graphs in a functional language
bachelor/study thesis	Converting System Dependence Graphs from the CodeSurfer tool
bachelor/study thesis	Eclipse-Plugin: Visualize Threadproperties
bachelor/study thesis	Functional summary edge computation for PDGs
Diploma/Master thesis	Combining SSA register allocation and copy minimisation
Diploma/Master thesis	Model checking temporal path conditions
Diploma/Master thesis	Path-Slicing for Java
Diploma/Master thesis	Point-To analysis with Isabelle
Diploma/Master thesis	Simplifying temporal path conditions
Diploma/Master thesis	Testdatagenerator for C
study thesis	Implementation of a JIT code generator
study thesis	Termination-sensitive Dependence Graphs
Studien-/Diplomarbeit	Connecting the libFirm Compilers to Valsoft
Studien-/Diplomarbeit	Similar Graph Pattern Search
bachelor thesis	Extensible enumerations for Isabelle/HOL
bachelor thesis	Performance Changes of libFirm Versions
bachelor/study thesis	Program Analysis for Lock Parametrization
bachelor/study thesis	Stable Environment for Benchmarking