Correctness 2026 — 10th International Workshop on Software Correctness for HPC Applications (at SC26) (Correctness)

Correctness is the annual SC workshop on correctness of HPC software, organised by LLNL and UC Davis researchers. It invites original contributions on HPC correctness, MPI correctness tools, numerical reproducibility, floating-point precision, data races, compiler optimisation bugs, verification and testing. Submissions may take the form of full research papers, extended abstracts and poster presentations reporting theoretical, computational and experimental work, as well as industrial case studies and applications. The meeting brings together researchers, engineers, industry practitioners and students to exchange recent results and discuss emerging directions in the field. Accepted papers are published in the conference proceedings (ACM).