Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revisionLast revisionBoth sides next revision | ||
team [2016/10/30 17:31] – sbs | team [2022/01/25 08:19] – sbs | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== Project Leaders ====== | ====== Project Leaders ====== | ||
- | < | + | <panel type=" |
[[https:// | [[https:// | ||
</ | </ | ||
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=" | <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 86: | Line 100: | ||
<panel type=" | <panel type=" | ||
Visiting from the Tunesian National Institute of Applied Sciences and Technology (INSAT), Sonia wrote her Diploma thesis in Lübeck. She implemented the NAS benchmark CG (conjugate gradient) in SAC and evaluated the performance of her implementation with respect to the reference implementations. | Visiting from the Tunesian National Institute of Applied Sciences and Technology (INSAT), Sonia wrote her Diploma thesis in Lübeck. She implemented the NAS benchmark CG (conjugate gradient) in SAC and evaluated the performance of her implementation with respect to the reference implementations. | ||
+ | </ | ||
+ | |||
+ | <panel type=" | ||
+ | Gijs has developed an optimisation for doing fold-operations in-place that operate on hyper-planes of higher-dimensional arrays. | ||
</ | </ | ||
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. | ||
</ | </ | ||
- | </ | ||