van Rozen, R. A. (2020). Languages of games and play: Automating game design & enabling live programming. [Thesis, fully internal, Universiteit van Amsterdam].
Griffioen, P. (2019). A unit-aware matrix language and its application in control and auditing. [Thesis, externally prepared, Universiteit van Amsterdam].
Afroozeh, A., & Izmaylova, A. (2019). Practical general top-down parsers. [Thesis, externally prepared, Universiteit van Amsterdam].
van den Hove d'Ertsenryck, G. M. C. J. T. G. (2019). New Insights from Old Programs: The Structure of The First ALGOL 60 System. [Thesis, externally prepared, Universiteit van Amsterdam].
Inostroza Valdera, P. A. (2018). Structuring languages as object-oriented libraries. [Thesis, externally prepared, Universiteit van Amsterdam].
Landman, D. (2017). Reverse engineering source code: Empirical studies of limitations and opportunities. [Thesis, externally prepared, Universiteit van Amsterdam].
Steindorfer, M. J. (2017). Efficient Immutable Collections. [Thesis, externally prepared, Universiteit van Amsterdam].
van der Ploeg, A. J. (2015). Efficient abstractions for visualization and interaction. [Thesis, fully internal, Universiteit van Amsterdam].
van den Bos, J. (2014). Gathering evidence: Model-driven software engineering in automated digital forensics. [Thesis, externally prepared, Universiteit van Amsterdam].
Basten, H. J. S. (2011). Ambiguity detection for programming language grammars. [Thesis, fully internal, Universiteit van Amsterdam].
