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/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

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.

2021/03/23 23:34 · sbscholz

2020/08/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/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.

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