Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revisionBoth sides next revision | ||
team [2016/10/30 16:32] – sbs | team [2022/01/25 08:17] – sbs | ||
---|---|---|---|
Line 35: | Line 35: | ||
</ | </ | ||
====== MSc/ BSc Students ====== | ====== MSc/ BSc Students ====== | ||
+ | |||
+ | <panel type=" | ||
+ | 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 type=" | ||
+ | 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 type=" | ||
+ | Reg implements support for structures, arrays of structures, and structures of structures, as long as they are not recursively nested. | ||
+ | </ | ||
====== Collaborators ====== | ====== Collaborators ====== | ||
Line 75: | Line 88: | ||
====== Former MSc/BSc students ====== | ====== Former MSc/BSc students ====== | ||
+ | |||
+ | <panel type=" | ||
+ | Gijs has developed an optimisation for doing fold-operations in-place that operate on hyper-planes of higher-dimensional arrays. | ||
+ | </ | ||
+ | |||
<panel type=" | <panel type=" | ||
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. | ||
Line 159: | Line 177: | ||
Henning graduated from the University of Kiel with a Diploma in Computer Science in 1996. | Henning graduated from the University of Kiel with a Diploma in Computer Science in 1996. | ||
</ | </ | ||
- | |||