A Case Study of Automatically Generating Language Servers from Model-Driven Language Specifications
DescriptionBrief description of the topic Contact:Extent: B.Sc./ M.Sc.
jan
mining software repositories, software analytics (e.g., codebase analyses)
DescriptionThe following topics focus on analyzing codebases of open-source projects. TODO: references Contact:Extent: B.Sc./ M.Sc.
Novel Variation Management Systems
DescriptionSoftware variability management is challenging. We’re working towards novel variation management systems, see publications below. TODO: reference to publications Contact:Extent: B.Sc./ M.Sc.
thesis together with ABB Research Germany
DescriptionProduct-line migration feasibility study (static analysis of legacy software artifacts, cost/benefit analysis, architecture evaluation). Contact:Extent: B.Sc./ M.Sc.
thesis together with Danfoss Denmark
Descriptionstatic analysis of firmware source code to extract configuration constraints and to reverse-engineer/extend a variability model Contact:Extent: B.Sc./ M.Sc.
thesis on visualizing the evolution of software features, extending our feature dashboards and IDE plugins
DescriptionBrief description of the topic Contact:Extent: B.Sc./ M.Sc.
A SAT solver for Linux
Description Incorporate a SAT solver (picosat) into the Linux kernel configurator (make xconfig, make menuconfig) to support kernel configuration processes (detect dead features, control visibility of option subtrees, resolve configuration conflicts). More details on the kconfig-sat website . Contact:Extent: B.Sc./ M.Sc.
A Language Server (LSP) for code annotations
DescriptionBrief description of the topic Contact:Extent: B.Sc./ M.Sc.
Machine-/Deep-Learning-based GitHub Project Classification
DescriptionBrief description of the topic Contact: Yorick Sens (yorick.sens@rub.de)Extent: B.Sc./ M.Sc.
Configuration Mechanisms in Robotics Middlewares (e.g., ROS)
Description Contact:Extent: B.Sc./ M.Sc.