Software for multi-core systems; support for transactional memory; virtualization; software support for SMP and NUMA architectures; software support for reconfigurable systems and components (e.g. embedded FPGA); software support for (embedded) GPUs and coprocessors; middleware architectures; design methods; formal models and verification.