This shows you the differences between two versions of the page.
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]]. |