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 [2022/01/25 08:17] – 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 75: 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 88: Line 90:
  
 ====== 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">
Line 104: 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>