Institute of Computer Languages
Compilers and Languages Group
Topics for projects and seminars
Topics for projects and seminars:
This page provides an overview over topics the complang institute teaches and researches and in which students can participate via projects, seminars and thesises. Take the following list as an inspiration and general overview of the possible fields. Please contact the responsible teaching staff for further discussions and a detailed choice of your topic.
All work can be done in German and English.
- Compiler Back-Ends
- code selection
- instruction scheduling
- register allocation
- code generation
- code replication
- speculative execution
- Object-Oriented Programming
- Java
- types in object-oriented programming
- component programming
- Logic Programming
- implementation of logic programming languages
- constraint logic programming
- termination inference
- Distributed, Peer-to-Peer and GRID Computing
- Space Based Computing Middleware
- Miscellaneous
- Forth and stack-based languages
- Linux
- Interpreter
ProfessorInnen und DozentInnen:
Krall, Andreas
Optimal code generation
Compilation techniques for embedded processors
Cacao JVM
Bessler, Sandford
peer to peer overlays
Ertl, Anton
Forth and stack-based languages
Compilers
Gmeiner, Karl Stefan
Conditional term rewriting
Knoop, Jens
Program analysis and optimization
abstract interpretation
functional languages
Kovacs, Laura
Automated assertion generation
Symbolic summation
Kühn, Eva
space based computing
Neumerkel, Ulrich
logic oriented programming
Puntigam, Franz
programming language analysis
Schreiner, Dietmar
Timing analysis technologie
Mobile robotics