I have supervised many MSc students covering a wide range of topics from more theoretical aspects to very practically oriented ones. Here a list of the most recent/current MSc students:

2021/09/14 Job Cuppen

Job pursues work on non-language-invasive package managers. He will show-case a prototype implementation at the example of SaC.

2021/12/20 17:52 · sbscholz

2021/03/17 Reg Huijben

Reg continues on his internship work which builds on earlier work from Hraban Juyat & Clemens Grelck at UvA on eight-weight records in array languages. The key idea is to view records as syntactical sugar for sets of individual field variables. In his internship, Reg improved the existing formal specification and suggested an extension enabling nesting of records as well as arrays of records. In his Master thesis, he plans to put that plan into practice through an implementation and evaluation within the context of the SaC compiler.

2021/03/26 21:36 · sbscholz

2021/01/19 Niek Janssen

Niek works on improving code generation for GPUs. He develops a flexible, combinator-based system for mapping index-spaces to thread-spaces and back. He plans to implement this in the context of the SaC compiler sac2c.

2021/03/23 23:38 · sbscholz

2020/08/23 Gijs van Cuyck

Gijs looks into improving the reference counting system implemented in the runtime of SaC. He is particularly interested in avoiding repetitive memory allocation/free pattern as they arise from operations on subarrays.

Gijs finished his thesis in August 2021.

2021/03/23 23:34 · sbscholz

2020/06/20 Folkert de Vries

Folkert is working on a new formulation of uniqueness typing that aims at combining the conceptual advantages of Edsko de Vries' type system with the practical benefits of Sjaak Smetsers et al.'s system implemented in Clean.

Folkert finished his thesis in September 2020.

2021/03/23 23:30 · sbscholz

This topic does not exist yet

You've followed a link to a topic that doesn't exist yet. If permissions allow, you may create it by clicking on Create this page.

  • master_s_thesis_students.txt
  • Last modified: 2021/03/23 23:42
  • by sbscholz