Chair of Software Engineering

jan

Git in the Age of AI

by

DescriptionThis thesis lifts Git, the most common version-control-system, to the world of massively AI-generated source code, which requires lifting the level of abstraction at which developers work. The thesis project builds on the Git with Features concept for feature-aware version control and extends it toward full product derivation support. The goal is to enable developers … Read more

thesis together with Danfoss Denmark

by

Descriptionstatic analysis of firmware source code to extract configuration constraints and to reverse-engineer/extend a variability model Contact:Extent: B.Sc./ M.Sc.

A SAT Solver for Linux

by

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.

Machine-/Deep-Learning-based GitHub Project Classification

by

DescriptionOpen-source software repositories are a valuable source of information for software engineering researchers, providing insights into coding patterns, development practices, and developer collaboration. A key challenge fur such studies is the selection of suitable repositories for analysis, which requires categorization of projects (e.g. libraries, applications, etc.). This classification is usually performed manually, making it time … Read more