MSc students
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:
2022/03/01 Steven van der Vorm
Steven is looking at high-level programming support for reduced floating point formats as they are supported by some accelerators (eg some GPUs). Most importantly, he wants to provide support for arrays of these types across platforms, even if some platforms do not support such formats.
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/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/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.
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.