Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revisionBoth sides next revision
team [2016/10/30 17:36] – sbsteam [2022/01/25 08:17] – sbs
Line 35: Line 35:
 </panel> </panel>
 ====== MSc/ BSc Students ====== ====== MSc/ BSc Students ======
 +
 +<panel type="default" title="Job Cuppen" subtitle="Radboud University of Nijmegen">
 +Job is working on a package manager for SaC that ensures correct cross-module builds in the context of versioning, name duplicates and cross-platform reproducability.
 +</panel>
 +
 +<panel type="default" title="Niek Janssen" subtitle="Radboud University of Nijmegen">
 +Niek implements a new improved code generator for CUDA. It allows mapping with-loop index sets into thread-spaces
 +by means of a few well-defined combinators. These mappings can either be user-specified in the form of pragmas which can be inferred by means of a few alternative strategies through the compiler as well.
 +</panel>
 +
 +<panel type="default" title="Reg Huijben" subtitle="Radboud University of Nijmegen">
 +Reg implements support for structures, arrays of structures, and structures of structures, as long as they are not recursively nested.
 +</panel>
  
 ====== Collaborators ====== ====== Collaborators ======
Line 75: Line 88:
  
 ====== Former MSc/BSc students ====== ====== Former MSc/BSc students ======
 +
 +<panel type="default" title="Gijs Cuyck" subtitle="Radboud University of Nijmegen">
 +Gijs has developed an optimisation for doing fold-operations in-place that operate on hyper-planes of higher-dimensional arrays.
 +</panel>
 +
 <panel type="default" title="Jan-Henrik Baumgarten" subtitle="University of Lübeck"> <panel type="default" title="Jan-Henrik Baumgarten" subtitle="University of Lübeck">
 Jan-Henrik worked on improving the internal compiler infrastructure. As a part of his term project, he designed a conformity checker for the syntax tree representation that can be derived mostly automatically from a formal XML specification. Jan-Henrik worked on improving the internal compiler infrastructure. As a part of his term project, he designed a conformity checker for the syntax tree representation that can be derived mostly automatically from a formal XML specification.