2 papers
cs.LO2025
VSS Challenge Problem: Verifying the Correctness of AllReduce Algorithms in the MPICH Implementation of MPI
Paul D. Hovland
We describe a challenge problem for verification based on the MPICH implementation of MPI. The MPICH implementation includes several algorithms for allreduce, all of which should b…
cs.PF2024
Integrating ytopt and libEnsemble to Autotune OpenMC
Xingfu Wu, John R. Tramm, Jeffrey Larson +7
ytopt is a Python machine-learning-based autotuning software package developed within the ECP PROTEAS-TUNE project. The ytopt software adopts an asynchronous search framework that…