Drawing

Correctness 2026: 10th International Workshop on Software Correctness for HPC Applications

November 16, 2026 (half day, 9:00am - 12:30pm CST)

McCormick Place (Convention Center)

Chicago, IL, USA

Held in conjunction with SC26: The International Conference for High Performance Computing, Networking, Storage and Analysis
In cooperation with
IEEE CS

Ensuring correctness in high-performance computing (HPC) applications is one of the fundamental challenges that the HPC community faces today. While significant advances in verification, testing, and debugging have been made to isolate software errors (or defects) in the context of non-HPC software, several factors make achieving correctness in HPC applications and systems much more challenging than in general systems software—growing heterogeneity (architectures with CPUs, GPUs, and special purpose accelerators), massive scale computations (very high degree of concurrency), use of combined parallel programing models (e.g., MPI+X), new scalable numerical algorithms (e.g., to leverage reduced precision in floating-point arithmetic), and aggressive compiler optimizations/transformations are some of the challenges that make correctness harder in HPC. The following reports lay out the key challenges and research areas of HPC correctness: (1) DOE Report of the HPC Correctness Summit, (2) DOE/NSF Workshop on Correctness in Scientific Computing.

As the complexity of future architectures, algorithms, and applications in HPC increases, the ability to fully exploit exascale systems will be limited without correctness. With the continuous use of HPC software to advance scientific and technological capabilities, novel techniques and practical tools for software correctness in HPC are invaluable.

The goal of the Correctness Workshop is to bring together researchers and developers to present and discuss novel ideas to address the problem of correctness in HPC. The workshop will feature contributed papers and invited talks in this area.

Workshop Topics

Topics of interest include, but are not limited to:

Correctness in Scientific Applications and Algorithms

Tools for Debugging, Testing, and Correctness Checking

Programing Models and Runtime Systems Correctness

Other Areas

Submissions and Format

Authors are invited to submit manuscripts in English structured as technical or experience papers in any of these categories: (a) regular papers: with a length of at least 7 pages, not exceeding 8 pages of content, including everything except references; (b) short papers: with a length of 4 pages including everything except for references.

The submissions are single-blind, i.e., authors of papers may include their names and affiliations.

Submissions must use the ACM proceedings template (Latex users, please use the “sigconf” option). Submissions must use the IEEE conference templates.

Submitted papers will be peer-reviewed by the Program Committee and accepted papers will be published by ACM.

Submitted papers must represent original unpublished research that is not currently under review for any other venue. Papers not following these guidelines will be rejected without review. Submissions received after the due date, exceeding length limit, or not appropriately structured may also not be considered. At least one author of an accepted paper must register for and attend the workshop. Authors may contact the workshop organizers for more information. Papers should be submitted electronically at: https://submissions.supercomputing.org/.

SC Reproducibility Initiative

We encourage authors to submit an optional artifact description (AD) appendix along with their paper, describing the details of their software environments and computational experiments to the extent that an independent person could replicate their results. The AD appendix is not included in the 8-page limit of the paper and should not exceed 2 pages of content. For more details of the SC Reproducibility Initiative please see: https://sc24.supercomputing.org/program/papers/reproducibility-initiative/.

Proceedings

The proceedings will be archived in ACM. The paper must be formatted for US letter (8.5in x 11in) paper and conform to IEEE’s guidelines. Use the IEEE templates available at https://www.ieee.org/conferences/publishing/templates.html.

Important Dates

All time zones are AOE.

Workshop Date

Organizers

Ignacio Laguna, LLNL
Cindy Rubio-González, UC Davis

Program Committee

Alper Altuntas, National Center for Atmospheric Research, USA
Ali Jannesari, Iowa State University, USA
Allison H. Baker, National Center for Atmospheric Research, USA
John Baugh, North Carolina State University, USA
Patrick Carribault, CEA-DAM, France
Ganesh Gopalakrishnan, University of Utah, USA
Jan Hueckelheim, Argonne National Laboratory, USA
Alexander Hück, AMD, Germany
Michael O. Lam, James Madison University, USA
Jacob Laurel, Georgia Institute of Technology, USA
Jackson Mayo, Sandia National Laboratories, USA
Erdal Mutlu, Pacific Northwest National Laboratory, USA
Sreepathi Pai, University of Rochester, USA
Pavel Panchekha, University of Utah, USA
Samuel Pollard, Sandia National Laboratories, USA
Emmanuelle Saillard, INRIA, France
Simon Schwitanski, NVIDIA, USA
Matt Sottile, Lawrence Livermore National Laboratory, USA
Mohit Tekriwal, Lawrence Livermore National Laboratory, USA
Lechen Yu, NVIDIA, USA

Venue

Program


Workshop Introduction

9:00am - 9:05am: Opening Remarks, Ignacio Laguna (LLNL), Cindy Rubio-González (UC Davis)

Invited Talk

9:05am - 9:35am: Invited Speaker: Dr. Hal Finkel (Associate Director, U.S. Department of Energy (DOE)'s Advanced Scientific Computing Research): "Genesis Mission and the Next Generation of Verified Scientific Workflows"

Runtime Detection and Communication Correctness (Chair: Cindy & Ignacio)

9:35am - 9:50am: Paper 1: "A Tool Infrastructure for Runtime Correctness Checking of Device-Initiated Multi-GPU Communication", Felix Tomski, Semih Burak, Matthias S. Müeller
9:50am - 10:00am: Short Paper: "Reducing Confusion and Broadcasting Understanding: An Empirical Study of the Semantics of NCCL", Max Stupple, Alastair F. Donaldson, Azalea Raad

Break

10:00am - 10:30am: Break

Floating-Point Error Analysis and Numerical Correctness (Chair: TBD)

10:30am - 10:45am: Paper 2: "Tighter Error Bounds Using Structural Floating-Point Properties and Tail Bounds", Mohit Tekriwal, Ignacio Laguna, Yichen Tao, Jean-Baptiste Jeannin
10:45am - 11:00am: Paper 3: "Evaluating Function-Level Accuracy and Performance of SIMD Math Libraries with FP32 Inputs", Xingjian Qi, Robert Strzodka
11:00am - 11:15am: Paper 4: "A Probability-Based Static Analysis to Lower Overhead in Floating-Point Exception Detection in NVIDIA GPUs", Alishba Gul, Sreepathi Pai
11:15am - 11:30am: Paper 5: "PaFEx: Cross-platform Floating-point Exception Detection using LLVM and PAPI", Samin Islam, Shirley V. Moore, Christoph Q. Lauter

Verification of Parallel Programs and Scientific Software (Chair: Mohit Tekriwal (LLNL))

11:30am - 11:45am: Paper 6: "Parameterized Verification of Deterministic MPI Programs", Stephen F. Siegel
11:45am - 12:00pm: Paper 7: "Verification of PETSc With CIVL Using LLM-generated ACSL Contracts and Deterministic Driver Generation", Hansol Suh, Jan Hueckelheim, Stephen F. Siegel
12:10pm - 12:15pm: Paper 8: "LASSI-Verify: Adaptive Empirical Verification of LLM-Generated Parallel Scientific Code Transformations", Matthew Dearing, Xingfu Wu, Zhiling Lan, Valerie Taylor
12:15pm - 12:30pm: Paper 9: "Developing a Numerical Algorithm with CIVL Model Checking in the Loop", Youngjun Lee, Anshu Dubey, Jan Hueckelheim

Best Presentation Award

12:30pm - 12:35pm: Best Presentation Award
12:35pm: Adjourn

Best Presentation Award

Like in previous years, we will have the Best Presentation Award. The goal is to reward high-quality presentations, motivating speakers at the workshop to deliver their best work. We believe that advancing the field of Correctness in HPC requires more engagement and collaboration between the research, development, and applications communities, and better presentations will lead to more engaging and informative sessions. Higher quality presentations will also help us to present the benefits of Correctness methods to our sponsors.

A high-quality presentation should present clearly the correctness problem being addressed and its impact to scientific / HPC applications, and it should be easy to follow even for attendees that are not familiar with traditional correctness methods (formal methods, verification, testing, debugging, among others). Overall the presentation should make such methods and results more accessible to the general audience of the workshop and the SC community.

Only regular papers are eligible for the Best Presentation Award (short papers are not eligible).

Winner

TBD

Contact Information

Please address workshop questions to Ignacio Laguna (ilaguna@llnl.gov) and/or Cindy Rubio-González (crubio@ucdavis.edu).

Previous Workshops