research:products

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
research:products [2019-02-08 13:25]
Christian Hovy [Scientific Computing Products]
research:products [2019-02-10 11:30] (current)
Michael Kuhn
Line 9: Line 9:
 ==== FortranTestGenerator ==== ==== FortranTestGenerator ====
  
-Our member Christian Hovy has built a unit test generator for individual procedures of large Fortran applications (e.g. climate models). It is based on Capture & Replay, that is, it uses data from the original application as test data for the tested procedure. The FortranTestGenerator is available on [[https://​github.com/​fortesg|GitHub]].+Our member Christian Hovy has built a unit test generator for individual procedures of large Fortran applications (for example, ​climate models). It is based on Capture & Replay, that is, it uses data from the original application as test data for the tested procedure. The FortranTestGenerator is available on [[https://​github.com/​fortesg|GitHub]]. 
 ===== Contributions to Third-Party Projects ===== ===== Contributions to Third-Party Projects =====
  
Line 20: Line 21:
 The group contributes to the Lustre file system. Among some smaller changes, work is underway for native compression support (see [[Research:​Projects:​IPCC-L:​]]). The group contributes to the Lustre file system. Among some smaller changes, work is underway for native compression support (see [[Research:​Projects:​IPCC-L:​]]).
  
-==== lz4fast ​====+==== Linux ====
  
 A student supervised by members of the group has updated lz4fast in Linux. The improvements can be found in versions 4.11 and later; for more information,​ see [[https://​lwn.net/​Articles/​713175/​|LWN]]. A student supervised by members of the group has updated lz4fast in Linux. The improvements can be found in versions 4.11 and later; for more information,​ see [[https://​lwn.net/​Articles/​713175/​|LWN]].
  
-==== MPI-checker ​====+==== MPI-Checker ​====
  
 A student supervised by members of the group has contributed a static analyzer for MPI applications to the LLVM compiler infrastructure. More information can be found on [[https://​github.com/​0ax1/​MPI-Checker|GitHub]]. A student supervised by members of the group has contributed a static analyzer for MPI applications to the LLVM compiler infrastructure. More information can be found on [[https://​github.com/​0ax1/​MPI-Checker|GitHub]].
research/products.txt · Last modified: 2019-02-10 11:30 by Michael Kuhn