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.