Theses

If you are interested in doing your thesis at the Software Technology Group, you can simply contact me to discuss the possible topics. Hereafter is a list of current open theses. Other topics or proposals from the students are also possible.

 

 

Language-level Support for Distributed Systems. 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… [more]

Tierless Software Development with ScalaLoci. 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… [more]

An empirical study on reactive programming. There is preliminary evidence that RP do improve program comprehension in controlled experiments that compare developers using RP against a control group using traditional techniques. However, little is known about why this is the case and which reasoning processes developers adopt when facing a program in the RP style… [more]

A debugging system for reactive programming. The candidate will design and implement a debugging tool that is aware of the reactive system an can leverage the regular structure of reactive applications to guide programmers in the debugging activity… [more]

Eclipse plugin for reactive programming. The candidate will design and implement a programming environment in the Eclipse framework that supports the development of reactive applications… [more]

Language integration of complex event processing. The goal of this thesis is to integrate a complex event processing engine into the Scala language… [more]

A dataflow-based programming model for Web applications. The goal of this thesis is to design and experiment with a programming model based on dataflow abstractions that span from the client code to the server database… [more]

 

Previous Theses:

A Secure Framework for Distributed and Reactive Programming, Pascal Weisenburger, TU Darmstadt, 2015. Examiner: Prof. Mira Mezini.

A Platform for Secure Distributed Programming, Markus Hauck, Master Thesis, TU Darmstadt, 2015. Examiner: Prof. Mira Mezini.

A Debugging System for Reactive Programming, Matthias Jahn, Master Thesis, TU Darmstadt, 2015. Examiner: Prof. Mira Mezini.

An Efficient Runtime System for Reactive Programming, Master Thesis, Malte Viering, TU Darmstadt, 2014. Examiner: Prof. Mira Mezini.

RETier – A Framework for tierless reactive programming, Marc Brandenburg, Master Thesis, TU Darmstadt, 2014. Examiner: Prof. Mira Mezini.

Tool support for Reactive Programming, Simon Sprankel, Master Thesis, TU Darmstadt, 2014. Examiner: Prof. Mira Mezini.

Eclipse Plugin for Reactive Programming, Michael Hausl, Diplomarbeit, TU Darmstadt, 2014. Examiner: Prof. Mira Mezini.

Complex Event Processing: Language-level integration into Scala, Mark Goldenstein. Bachelor thesis, TU Darmstadt, 2013. Examiner: Prof. Mira Mezini

Staging Reactive Programming, Markus Hauck, Bachelor thesis, TU Darmstadt, 2013. Examiner: Prof. Mira Mezini, co-supervised with Sebastian Erdweg.

A Formal Model for Event Correlation in Information Flow Processing, Oliver Bračevac, Master thesis, TU Darmstadt, 2013. Examiner: Prof. Mira Mezini. Supervisors: Prof. Patrick Eugster (Purdue University), Dr. Guido Salvaneschi.

Language Concepts for Reactive Programming, Gerold Hintz, Bachelor thesis, TU Darmstadt, 2012. Examiner: Prof. Mira Mezini. Supervisor: Guido Salvaneschi.

Un’Analisi del Trade-off Performance/precisione nel Clustering di Malware. Maurizio Mollica, Bachelor Thesis,  Politecnico di Milano, 2011.  Examiner: Prof. Stefano Zanero. Supervisor: Guido Salvaneschi.

Una Metodologia di Analisi di Malware Utilizzati per la Creazione di Bot, Mauro Pessina, Master Thesis, Politecnico di Milano, 2010.  Examiner: Prof. Stefano Zanero. Supervisor: Guido Salvaneschi.

Testing e Valutazione di un Intrusion Detection System, Paul Alexis Murillo Zea, Bachelor Thesis, Politecnico di Milano, 2010.  Examiner: Prof. Stefano Zanero. Supervisor: Guido Salvaneschi.