Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision		 Previous revision
team [2016/10/30 17:36] – sbsteam [2022/01/25 08:22] (current) – sbs
Line 19: Line 19:
  
 ====== PhD students ====== ====== PhD students ======
-<panel type="default" title="Max Marlon Baird" subtitle="Heriot-Watt University"> 
-Max is working on resilience in the context of code generation for GPUs. 
-</panel> 
  
 <panel type="default" title="Stuart Gordon" subtitle="Heriot-Watt University"> <panel type="default" title="Stuart Gordon" subtitle="Heriot-Watt University">
Line 35: Line 32:
 </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 62: Line 72:
  
 ====== Former PhD students ====== ====== Former PhD students ======
 +
 +<panel type="default" title="Max Marlon Baird" subtitle="Heriot-Watt University">
 +Max has implemented a resilience scheme for CUDA codes.
 +</panel>
 +
 <panel type="default" title="Kai Trojahner" subtitle="University of Lübeck"> <panel type="default" title="Kai Trojahner" subtitle="University of Lübeck">
 Working on his term project, Kai has implemented with-loop scalarization, an important optimization schemes which prevents the actual creation of temporary arrays during the execution of nested with-loops. In his Diploma thesis, he implemented a completely redesigned memory management system based on reference counting. By introducing new intermediate languages for memory management instructions, a variety of optimizations became possible in this area. He did a PhD on applying concepts from dependent types to array programming for advanced optimization and correctness analysis. Working on his term project, Kai has implemented with-loop scalarization, an important optimization schemes which prevents the actual creation of temporary arrays during the execution of nested with-loops. In his Diploma thesis, he implemented a completely redesigned memory management system based on reference counting. By introducing new intermediate languages for memory management instructions, a variety of optimizations became possible in this area. He did a PhD on applying concepts from dependent types to array programming for advanced optimization and correctness analysis.
Line 75: Line 90:
  
 ====== Former MSc/BSc students ====== ====== Former MSc/BSc students ======
 +
 <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.
Line 86: Line 102:
 <panel type="default" title="Sonia Chouaieb" subtitle="University of Lübeck"> <panel type="default" title="Sonia Chouaieb" subtitle="University of Lübeck">
 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>
 +
 +<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>