SAtRes    News    Golden Spike Award for HPC Project

Golden Spike Award for HPC Project

October 29, 2024

The HPC project “Scalable Discrete Algorithms for Big Data Applications” has received a Golden Spike Award of the Höchstleistungsrechenzentrum Stuttgart (HLRS) Results and Review Workshop 2024 in Karlsruhe, Germany.

Our efforts on scalable scheduling and solving of SAT solving tasks in HPC environments and the associated system Mallob represent one sub-project within the HPC project rooted at Peter Sanders’ Algorithm Engineering group. Other sub-projects include the remarkable (near-)zero overhead C++ MPI library KaMPIng as well as distributed string sorting and scalable graph algorithms.

The criteria for the Golden Spike Awards are scientific relevance, the necessity of high-performance computing for the conducted research, good usage of HPC resources in terms of optimization, parallelization, and overall performance, and the quality of the presentation. Our work was presented by Tim Niklas Uhl.

More details can be found at the HLRS webpage.