Research Areas

The current research activities of the Institute for System Software focus on:

Compilers
Partner: Oracle / Sun Microsystems (Java HotSpot team)
- Compiler optimizations ( escape analysis, object inlining, array bounds check elimination)
- Generalization of Just-in-Time Trace Compilation for Java
- Linear scan register allocation
- Intermediate program representations (SSA form)
- Visualization of compiler data structures
Compiler Generators
- Open source compiler generator Coco/R
Static Program Analysis
- C# front end for the static analysis tool Sotograph
Partner: Software Tomography
- Automatic elimination of cyclic dependencies in software arcitectures
Domain-Specific Languages
- Monaco - A DSL for reactive control programming
Partner: KEBA AG
- CGI Designer DSL- A Domain-specific language for reactive behavior of MMI
Partner: Fujitsu Semiconductor Embedded Solutions

Software Product Line Engineering
Partner: Siemens VAI
- Decision and feature modeling
- Software configuration
- Meta-modeling
- Product line evolution
Sofware Engineering for Industrial Automation
Partner: KEBA AG
- Tracing, Debugging and Analysis of process automation software
- Domain-specific notations
- End-user programming
Plug-in Component Architectures
Partner: BMD Systemhaus
- Hot-pluggable lightweight components
- Security and permission management
- Versioning
- Dynamic (re)configuration of component-based systems

OptLet Framework
Partner: Siemens AG München / Corporate Technology
- Incremental Optimization
- Meta-Heuristics
- Multi-Criterial Optimization
- SLOTS: Language for Description of Scheduling Problems