research:products
Differences
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]]. | ||
research/products.txt · Last modified: 2019-02-10 11:30 by Michael Kuhn
Page Tools
