Within the Pegasus project we are offering an exciting Master's-thesis topic. Rava is an implementation of naturalistic references for Java. Currently there is a working prototype, but the goal of this thesis will be to derive a stable implementation for Rava that resolves most naturalistic references at compile time, through static analysis. You can find more information here.

The thesis will be co-supervised by Eric Bodden and Roman Knöll.

Hint: You can find information more information about other Master's theses offered by the Software Technology Group on this webpage.