Student programmers wanted; open thesis topics available. Contact me.


Courses


Seminars


Theses

Open thesis topics available, contact me.
 

Ongoing theses:

  • Demand-Driven Incremental Build Pipelines
    Roelof Sol. Master thesis.

Finished theses

  • Testing Code Generators against Definitional Interpreters
    Ioannis Papadopoulos. Master thesis.
  • Incremental type checking for Rust [pdf]
    Sander Bosma. Master thesis.
  • Abstract interpretation with tree grammars [pdf]
    Jente Hidskes. Master thesis.
  • Incremental overload resolution for Java
    Matthijs Bijman. Honours bachelor project.
    Results published at FTfJP 2018
  • Provably Sound Nullness Analysis of Java Code [pdf]
    Wouter Raateland. Bachelor thesis.
  • Provably Sound Typechecking of JavaScript [pdf]
    Matthijs Bijman. Bachelor thesis.
  • Design and development of a programming language for constrained resource allocation [pdf]
    Alina Dehler. Master thesis. Co-supervised with Mira Mezini.
  • Design and development of a programming language for constrained resource allocation [pdf]
    Robert Giegerich. Master thesis. Co-supervised with Mira Mezini and Oliver Hinz.
  • File dependencies in a disintegrated development environment [pdf]
    Stefan Kockmann. Bachelor thesis. Co-supervised with Mira Mezini.
  • Remote dependencies in pluto [pdf]
    Andre Pacak. Bachelor thesis. Co-supervised with Mira Mezini.
  • A web-based disintegrated development environment [pdf]
    Wulf Pfeiffer. Bachelor thesis. Co-supervised with Mira Mezini.
    Results published at SLE 2016
  • Extensible interfaces for extensible languages
    Michael Markert. Master thesis. Co-supervised with Mira Mezini.
  • A disintegrated development environment [pdf]
    Sven Keidel. Master thesis. Co-supervised with Mira Mezini.
    Results published at SLE 2016
  • Modular hygienic program transformations [pdf]
    Nico Ritschel. Bachelor thesis. Co-supervised with Mira Mezini.
    Results published at SLE 2015
  • Abstract interpretation of XSLT [pdf]
    Patrick Reisert. Bachelor thesis. Co-supervised with Mira Mezini.
  • Separate Compilation in SugarC [pdf]
    Carina Oberle. Bachelor thesis. Co-supervised with Manuel Weiel and Mira Mezini.
  • Dynamic type analysis of metaprograms [pdf]
    Matthias Krebs. Bachelor thesis. Co-supervised with Mira Mezini.
    Results published at OOPSLA 2015
  • A DSL for the Specification and Efficient Implementation of Type Systems [pdf]
    Pascal Wittmann. Master thesis. Co-supervised with Mira Mezini.
    Results published at Onward 2015
    3rd place at SPLASH'14 student research competition
  • Parallel programming for embedded software with mbeddr [pdf]
    Bastian Gorholt. Master thesis. Co-supervised with Markus Völter and Mira Mezini.
  • Editor Services for Modular Languages [pdf]
    Jonathan Müller. Bachelor thesis. Co-supervised with Mira Mezini.
  • SugarScala: Syntactic Extensibility for Scala [pdf]
    Florian Jakob. Master thesis. Co-supervised with Mira Mezini.
  • Staging Reactive Programming [pdf]
    Markus Hauck. Bachelor thesis. Co-supervised with Guido Salvaneschi and Mira Mezini.
  • A Type System for Program Transformations based on Parametric Tree Grammars [pdf] Katharina Haselhorst. Master thesis. Co-supervised with Klaus Ostermann.
  • Variability-aware Interpretation [pdf]
    Jonas Pusch. Bachelor thesis. Co-supervised with Christian Kästner and Klaus Ostermann.
    Results published at FOSD 2012
  • A Language-independent Framework for Syntactic Extensibility [pdf]
    Felix Rieger. Bachelor thesis. Co-supervised with Klaus Ostermann.
    Results published at GPCE 2013
  • Retrofitting Language-oriented Design with SugarJ [pdf]
    Stefan Fehrenbach. Bachelor thesis. Co-supervised with Klaus Ostermann.
    Results published at SLE 2013

Teaching Assistance