Student programmers wanted; open thesis topics available. Contact me.
Courses
- Dynamic and Static Program Analysis for Software Security, Fall 2018, TU Delft
- Reasoning and Logic, co-instructor, Fall 2018, TU Delft
- Dynamic and Static Program Analysis for Software Security, Fall 2017, TU Delft
- Reasoning and Logic, guest instructor, Fall 2017, TU Delft
- Concepts of Programming Languages, co-instructor, Spring 2017, TU Delft
- Language-Based Software Security, Fall 2016, TU Delft
- Concepts of Programming Languages, Spring 2015, TU Darmstadt
- Concepts of Programming Languages, Spring 2014, TU Darmstadt
- Type Systems of Programming Languages, Fall 2013, TU Darmstadt
- Concepts of Programming Languages, Spring 2013, TU Darmstadt
Seminars
- Programming Languages, Discussion seminar, Fall 2018, TU Delft
- Programming Languages, Discussion seminar, Fall 2017, TU Delft
- Programming Languages, Discussion seminar, Fall 2016, TU Delft
- Type Systems of Programming Languages, Discussion seminar, Spring 2016, TU Darmstadt
- Type Systems, Seminar, Spring 2015, TU Darmstadt
- Metaprogramming, Discussion seminar, Spring 2014, TU Darmstadt
- Metaprogramming, Discussion seminar, Spring 2013, TU Darmstadt
- Metaprogramming, Discussion seminar, Spring 2012, University of Marburg
- Design and Implementation of Domain-specific Languages, Seminar, Spring 2011, University of Marburg
- Trends in Software Engineering: Domain-specific Languages, Seminar, Fall 2010, University of Marburg
- Design and Implementation of Programming Languages, Seminar, Fall 2009, University of Marburg
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
- Introduction to Software Technology, Fall 2012, University of Marburg
- Software Design and Programming Techniques, Spring 2012, University of Marburg
- Programming Languages and Types, Fall 2011, University of Marburg
- Programming Languages and Types, Fall 2010, University of Marburg
- Web Technologies, Spring 2010, University of Marburg
- Programming Languages and Types, Fall 2009, University of Marburg