Bei Interesse an Abschlußarbeiten können Sie sich jederzeit an die Mitarbeiter des Fachgebiets oder an Frau Prof. Mezini wenden. Am Besten ist es wenn Sie sich vorher die aktuelle Liste der Forschungsthemen ansehen, da die allermeisten Arbeiten auch in diesen Bereichen vergeben werden. Sollten Sie ein Thema spannend finden, dann wenden Sie sich einfach an den Mitarbeiter, der das Thema bearbeitet. Haben Sie ein Thema aus dem Bereich Software Engineering / Softwaretechnik, dass Sie besonders spannend finden, welches aber nicht direkt zu einem der Forschungsthemen passt, dann sprechen Sie uns trotzdem einfach darauf an – vielleicht ergibt sich ja eine Betreuungsmöglichkeit.

  • 17.02.2020

    Secure Tierless Programming Model for Java

    Bachelorarbeit, Masterarbeit

    Data privacy is a major concern in the design of distributed systems where data is processed by different machines that are not necessarily under the control of the same organization. In this setting, there is a concrete possibility of private data leaks which, e.g., in the case of medical data, can lead to catastrophic consequences. To tackle such privacy issues, recent generations of processors support trusted execution environments such as Intel SGX. Such systems provide isolated processing and memory storage functionalities for privacy preserving computations even when the OS and the rest of the infrastructure cannot be trusted – such as in the case of Cloud providers.

    Unfortunately, secure enclaves remain challenging to program and require programmers to interface with a low level API that does not fit with modern managed programming languages such as Java or Scala.


    This work involves implementing a high-level programming model in Java that supports computations within secure enclaves. The model allows programmers to annotate the parts of a Java program to be run inside the trusted environment. The compiler splits the program and the runtime executes it in distributed fashion as specified by the annotations. The programming model will be tested for performance and security by implementing suitable test cases.


    [1] https://en.wikipedia.org/wiki/Trusted_execution_environment

    Contact: Aditya Oak () weiter

    Betreuer/in: Prof. Guido Salvaneschi

  • 21.01.2020

    Data Consistency for Microservices

    Bachelorarbeit, Masterarbeit

    Microservice architectures have become a popular solution for developing modern distributed systems ensuring proper modularization of the system functionalities. Yet, microservices bring their own set of challenges. Most noticeable, data consistency, when data span multiple services, becomes a primary issue. A common solution to this problem is to use the “Saga” pattern, introduced in 1987 for long-lived transactions. With this pattern, a transaction is broken down into a sequence of local transactions that communicate via asynchronous messaging. To ensure atomicity, such transactions can be compensated to achieve a complete rollback in case one fails. Compared to traditional ACID transactions, however, Sagas exhibit two main issues: i) they do not guarantee isolation across microservices and ii) they are hard to implement as not every action is compensable with an inverse action.

    Considering the aforementioned challenges, the candidate will investigate the way the Saga pattern is applied to real-world microservices. This step will be accomplished by mining GitHub repositories. Next, the candidate will work on a solution to guarantee a higher level of isolation for Sagas.

    If you are interested in the topic or have any further questions, please contact: (Nafise Eskandani) weiter

    Betreuer/in: Prof. Guido Salvaneschi

  • 20.03.2019

    Language-level Support for Distributed Systems

    Bachelorarbeit, Masterarbeit

    Large-scale distributed systems require to embrace the trade-off between consistency and availability, accepting lower levels of consistency to guarantee higher availability. Existing programming languages are, however, agnostic to this compromise, resulting in consistency guarantees being implicitly adopted from the middleware or hardcoded in configuration files.

    Recent advances in programming languages propose to integrate consistency levels into the language design, allowing developers to specify different consistency constraints in the same application. We investigate how consistency levels interact with object structure and define a type system that preserves correct program behavior.

    The thesis unfolds at the boundary between programming languages and distributed systems. The goal is to investigate a novel programming model that integrates consistency and isolation – which have been traditionally supported at the middleware level – into the programming language. weiter

    Betreuer/in: Prof. Guido Salvaneschi

  • 20.03.2019

    Tierless Software Development with ScalaLoci

    Bachelorarbeit, Masterarbeit

    Distributed applications are traditionally developed as separate modules, often in different languages, which react to events, like user input, and in turn produce new events for the other modules. Separation into components requires time-consuming integration. Manual implementation of communication forces programmers to deal with low-level details. The combination of the two results in obscure distributed data flows scattered among multiple modules, hindering reasoning about the system as a whole.

    The ScalaLoci distributed programming language addresses these issues with a coherent model based on placement types that enables reasoning about distributed data flows, supporting multiple software architectures via dedicated language features and abstracting over low-level communication details and data conversions. In ScalaLoci, the components of the distributed system are developed in the same compilation unit and the compiler automatically spits them and generates the deployment units. ScalaLoci simplifies developing distributed systems, reduces error-prone communication code and favors early detection of bugs.

    The thesis investigates new features in the ScalaLoci language. For example we are interested in improving performance, in mechanisms for event-based communication among the peers of the distributed systems, in a module systems that supports incremental development and in security features that protect the distributed application from malicious adversaries.


    Betreuer/in: Prof. Guido Salvaneschi

  • 23.07.2018

    Abstract Dependent Classes


    Offered in co-supervision with Nada Amin (University of Cambridge, UK).

    Dependent classes [1] combine the flexibility of dynamic dispatching à la Smalltalk with safety à la Scala. However, a beautiful core that can support abstract methods has still not been devised. A good starting point is the DC calculus of Vaidas Gasiunas' thesis [2]. The exciting insight from the thesis is that subtyping can be described as constraint entailment -- not a new idea in itself, see Frank Pfenning's subtyping lecture notes [3] but something that hasn't been explored much in an object-oriented setting. The time is ripe due to very efficient constraint solvers (SMT — Satisfiability Modulo Theory).

    There are two potential projects.

    1. One is a working on an implementation, as a prototype for experimenting with case studies.

    2. The other is a formalization in Coq, Agda or Isabelle to assure the proof sketch already outlined in the thesis. There are some old attempts in Isabelle that could serve as a starting point.


    [1] http://www.informatik.uni-marburg.de/~kos/papers/depcls-oopsla07.pdf

    [2] https://tubiblio.ulb.tu-darmstadt.de/48187/

    [3] https://www.cs.cmu.edu/~fp/courses/15312-f04/handouts/14-subtyping.pdf

    If you are interested in any of the above topics or have any further questions, please contact: bracevac -at- st.informatik.tu-darmstadt.de (Oliver Bracevac)


    Betreuer/in: Dr.-Ing. Oliver Bracevac

  • 17.04.2018

    Reengineering of Industrial C Code

    Bachelorarbeit, Masterarbeit

    Sofware based systems already play a major role in industrial production and this role will only grow in the context of Industrie 4.0. In order to solve new challenges that arise in this context, existing software has to be adapted in different directions, e.g. to enable the addition of new sensors or enable the creation of a digital twin. For this purpose, we want to uncover Software Product Line features and models, which are already present implicitly, and make them explicit. Therefore the development of corresponding analyses and automatic refactorings is necessary.

    Candidates would work on different topics that enable software reuse of industrial controllers written in C.

    These topics include (but are not limited to):

    • automatic identification and localization of features

    • automatic code slicing of identified features

    • adaption of analyses to the presence of C preprocessor macros

    • automatic module extraction

    If you are interested in any of the above mentioned topics or have any further questions, please contact: mueller@st.informatik.tu-darmstadt.de (Patrick Müller)


    Betreuer/in: Patrick Müller, M.Sc.

  • 12.04.2018

    Secure Integration of Cryptographic Software

    Bachelorarbeit, Masterarbeit

    Betreuer/in: Anna-Katharina Wickert, M.Sc.

  • 06.02.2017

    Analysis and Testing of Big Data Applications

    Over the last few years, a vast amount of data has become available from a variety of heterogeneous sources, including social networks and cyber-physical systems. This state of the things has pushed recent research in the direction of investigating computing platforms and programming environments that support processing massive quantities of data. Systems like MapReduce, Spark, Flink, Storm, Hive, PigLating, Hadoop, HDFS have emerged to address the technical challenges posed by the nature of these computations, including parallelism, distribution, network communication and fault tolerance.

    Despite the popularity of such systems, there has been little attention to aspects in the development process other than programming itself. For example, testing Big Data applications is an area that remains largely unexplored. This is even more surprising considering that testing has a long tradition in Software Engineering from a research standpoint (e.g., concoholic testing, mutation testing) as well as for practitioners, with established testing techniques and tools that are widespread in industry (e.g., JUnit).

    The goal of this thesis is to develop a testing methodology for Big Data applications focusing on the Apache Spark platform. The candidate will apply testing techniques based on symbolic execution to the setting of Big Data. Ideally, the thesis will include a comparison of different approaches as well as the development of a new methodology specifically tailored for Big Data.



    Matei Zaharia, Mosharaf Chowdhury, Michael J. Franklin, Scott Shenker, and Ion Stoica. 2010. Spark: cluster computing with working sets. In Proceedings of the 2nd USENIX conference on Hot topics in cloud computing (HotCloud'10). USENIX Association, Berkeley, CA, USA, 10-10. weiter

    Betreuer/in: Prof. Dr. Guido Salvaneschi

  • 05.08.2016

    Programming Languages for Software-Defined Networks

    Bachelorarbeit, Masterarbeit

    Software-Defined Networks (SDNs) provide a new way to configure computer networks. Special-purpose network devices with tightly coupled data and control planes are replaced by programmable switches managed by a logically centralized controller. The communication between the controller and these programmable switches is carried out using well-defined APIs (e.g., OpenFlow). Instead of configuring devices individually, network policies are implemented on top of the controller and then used by the controller to instruct individual network switches.However, SDN APIs like OpenFlow closely resemble the features provided by the hardware. OpenFlow uses a set of prioritized match-action rules as abstraction, which makes it difficult to write sophisticated network applications. For example, an application supporting multiple tasks at the same time must merge the switch-level rules required by each of the tasks into a single set of rules that can be installed on the switches. To overcome these limitations, different programming languages for SDNs have been proposed, that provide higher language abstractions on top of OpenFlow, including abstractions for querying the network state, basic service composition or language support for network verification.Developing new SDN language features requires a comparison with already existing languages, usually, in order to show that they increase the expressivity of the language while providing at least the same performance at runtime. However, currently it is quite cumbersome to compare different SDN languages, since they are implemented on top of different host languages, like Python, OCaml, Java and they usually provide only a small set of simple example application that are not directly comparable with each other.The goal of this thesis is to develop an extensible testbed for SDN applications that allows to compare SDN programming languages with respect to expressivity as well as performance and to provide a set of small- to medium-sized example applications that can be used for benchmarking and comparing the available language abstractions. Based on the results of the experiments, the next step will be to propose new language features that address the limitations of current solutions. weiter

    Betreuer/innen: Matthias Eichholz, M.Sc., Prof. Dr. Guido Salvaneschi

  • 04.01.2016

    Virtual Machine Support for Reactive Programming

    Just in time compiler – interpreter optimization

    Bachelorarbeit, Masterarbeit

    Over the last few years, reactive programming (RP) has gained the

    attention of researchers and practitioners for the potential to

    express otherwise complex reactive behavior in intuitive and

    declarative way. Implementations of RP have been proposed in several

    widespread languages, including Java, Python, Ruby, Javascript and

    Scala. Recently, concepts inspired by RP have been applied to

    production frameworks like Microsoft Reactive Extensions (Rx), which

    received great attention after the success story of the Netflix

    streaming media provider. Finally, a lot of attention in the frontend

    developers community is revealed by the increasing number of libraries

    that implement RP principles, among the others React.js, Bacon.js,

    Knockout, Meteor and Reactive.coffee.

    Performance remains, however, a major limitation of RP. Most RP

    implementations are based on libraries where the language runtime is

    agnostic to reactive abstractions. As a result, a number of aspects

    like change propagation, dependency tracking and memory management

    that could be specifically optimized can only benefit from general

    purpose optimization such as those provided by out of the box just in

    time compilers. Optimization at the virtual machine level has the

    potential to address these issues. weiter

    Betreuer/in: Prof. Dr. Guido Salvaneschi

  • 30.07.2015

    A debugging system for reactive programming.

    Bachelorarbeit, Masterarbeit

    Betreuer/innen: Prof. Dr. Guido Salvaneschi, Prof. Dr.-Ing. Mira Mezini

  • 30.07.2015

    An empirical study on reactive programming.

    Bachelorarbeit, Masterarbeit

    Betreuer/innen: Prof. Dr.-Ing. Mira Mezini, Prof. Dr. Guido Salvaneschi

  • 30.07.2015

    Eclipse plugin for reactive programming.

    Bachelorarbeit, Masterarbeit

    Reactive programming is a recent programming paradigm that specifically supports the development of reactive applications. It provides dedicated language abstractions, like signals and events, that overcome the disadvantages of the traditional Observer pattern.

    Previous research on reactive programming has greatly improved the abstractions available to the developer. Other research areas focused on non-functional properties, like proving safety or time-bound execution of reactive applications.

    Interestingly, supporting reactive applications with dedicated tools and programming environments is a mostly unexplored area. However, the field is extremely promising, since reactive applications exhibit regular patterns that can be easily exploitable by the IDE. weiter

    Betreuer/innen: Prof. Dr. Guido Salvaneschi, Prof. Dr.-Ing. Mira Mezini

  • 30.07.2015

    Language integration of complex event processing

    Bachelorarbeit, Masterarbeit

    Betreuer/innen: Prof. Dr. Guido Salvaneschi, Prof. Dr.-Ing. Mira Mezini

  • 21.05.2014

    Open Analyses Library

    Bachelorarbeit, Masterarbeit

    Betreuer/innen: Dr.-Ing. Michael Eichberg, Prof. Dr.-Ing. Mira Mezini