Apologies if you receive multiple copies of this email!
========================================================================
CALL FOR PAPERS
9th International Workshop on Software Correctness for HPC
Applications (Correctness 2025)
In conjunction with SC25: The International Conference for High
Performance Computing, Networking, Storage and Analysis, November
2025, St. Louis, Missouri, USA. In cooperation with IEEE Computer
Society.
https://urldefense.us/v3/__https://correctness-workshop.github.io/2025/__;!!G_uCfscf7eWS!f6vptuHt-aDA5SI5fYJUfM8PQOo5xPs5heljqfx9idEqr47ese_oVMYgtXC_zHHHJXFuHI796JWl-H86OlGuZT1ORg$
========================================================================
Dates
=====
Paper submissions due: July 18, 2025
Notification of acceptance: August 22, 2025
Camera-ready papers due: TBD
Scope
=====
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 DOE report lays out the key
challenges and research areas of HPC correctness:
https://urldefense.us/v3/__https://doi.org/10.2172/1470989__;!!G_uCfscf7eWS!f6vptuHt-aDA5SI5fYJUfM8PQOo5xPs5heljqfx9idEqr47ese_oVMYgtXC_zHHHJXFuHI796JWl-H86OlFm7-2xTA$
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.
Topics
======
Topics of interest include, but are not limited to:
* Formal methods and rigorous mathematical techniques for correctness in
HPC
Applications
* Program synthesis techniques for testing and debugging HPC applications
* Frameworks to address the challenges of testing complex HPC applications
(e.g., multiphysics applications)
* Approaches for the specification of numerical algorithms with the goal of
correctness checking
* Error identification in the design and implementation of numerical
algorithms
using finite-precision floating point numbers
* Tools to control the effect of non-determinism when debugging and testing
HPC
software
* Scalable debugging solutions for large-scale HPC applications
* Scalable tools for model checking, verification, certification, or
symbolic
execution
* Static and dynamic analysis to test and check correctness in the entire
HPC
software ecosystem
* Predictive debugging and testing approaches to forecast the occurrence of
errors in specific conditions
* Machine learning and anomaly detection for bug detection and localization
* Correctness in emerging HPC programming models
* Analysis of software error propagation and error handling in HPC runtime
systems and libraries
* Metrics to measure the degree of correctness of HPC software
* Specifications to check the correctness of runtime systems
* Large databases of bug reports and/or reproducible test cases of HPC
software
* Benchmarks to test the effectiveness of HPC correctness tools
Proceedings
===========
We expect that the proceedings will be archived in IEEE Xplore via the IEEE
Computer Society.
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 for references; (b) short papers: with a length of 5
pages including references.
Organizers
==========
Ignacio Laguna, LLNL
Cindy Rubio-González, UC Davis
Program Committee
=================
Alper Altuntas <https://urldefense.us/v3/__https://staff.ucar.edu/users/altuntas__;!!G_uCfscf7eWS!f6vptuHt-aDA5SI5fYJUfM8PQOo5xPs5heljqfx9idEqr47ese_oVMYgtXC_zHHHJXFuHI796JWl-H86OlEb-4H3qg$ >, National Center for
Atmospheric Research, USA
Allison H. Baker <https://urldefense.us/v3/__https://staff.ucar.edu/users/abaker__;!!G_uCfscf7eWS!f6vptuHt-aDA5SI5fYJUfM8PQOo5xPs5heljqfx9idEqr47ese_oVMYgtXC_zHHHJXFuHI796JWl-H86OlGjwI36yQ$ >, National Center for
Atmospheric Research, USA
John Baugh <https://urldefense.us/v3/__https://www.ccee.ncsu.edu/people/jwb/__;!!G_uCfscf7eWS!f6vptuHt-aDA5SI5fYJUfM8PQOo5xPs5heljqfx9idEqr47ese_oVMYgtXC_zHHHJXFuHI796JWl-H86OlERuQWz4g$ >, North Carolina State
University, USA
Patrick Carribault <https://urldefense.us/v3/__http://www.cea.fr/__;!!G_uCfscf7eWS!f6vptuHt-aDA5SI5fYJUfM8PQOo5xPs5heljqfx9idEqr47ese_oVMYgtXC_zHHHJXFuHI796JWl-H86OlG2kApfRg$ >, CEA-DAM, France
Ganesh Gopalakrishnan <https://urldefense.us/v3/__https://www.cs.utah.edu/*ganesh/__;fg!!G_uCfscf7eWS!f6vptuHt-aDA5SI5fYJUfM8PQOo5xPs5heljqfx9idEqr47ese_oVMYgtXC_zHHHJXFuHI796JWl-H86OlFJuOBxYQ$ >, University of
Utah, USA
Jan Hueckelheim <https://www.anl.gov/profile/jan-huckelheim >, Argonne
National Laboratory, USA
Alexander Hück <https://urldefense.us/v3/__https://correctness-workshop.github.io/2025/*__;Iw!!G_uCfscf7eWS!f6vptuHt-aDA5SI5fYJUfM8PQOo5xPs5heljqfx9idEqr47ese_oVMYgtXC_zHHHJXFuHI796JWl-H86OlGE02A5gA$ >, Technical
University Darmstadt, Germany
Joachim Jenke, RWTH Aachen University, Germany
Michael O. Lam <https://urldefense.us/v3/__https://w3.cs.jmu.edu/lam2mo/__;!!G_uCfscf7eWS!f6vptuHt-aDA5SI5fYJUfM8PQOo5xPs5heljqfx9idEqr47ese_oVMYgtXC_zHHHJXFuHI796JWl-H86OlFdfovYZg$ >, James Madison University,
USA
Jackson Mayo <https://urldefense.us/v3/__http://www.sandia.gov/__;!!G_uCfscf7eWS!f6vptuHt-aDA5SI5fYJUfM8PQOo5xPs5heljqfx9idEqr47ese_oVMYgtXC_zHHHJXFuHI796JWl-H86OlEqmhJtbA$ >, Sandia National Laboratories, USA
Erdal Mutlu, Pacific Northwest National Laboratory, USA
Pavel Panchekha, University of Utah, USA
Samuel Pollard
<https://urldefense.us/v3/__https://scholar.google.com/citations?user=X0zJ484AAAAJ&hl=en__;!!G_uCfscf7eWS!f6vptuHt-aDA5SI5fYJUfM8PQOo5xPs5heljqfx9idEqr47ese_oVMYgtXC_zHHHJXFuHI796JWl-H86OlFJGUt8_A$ >, Sandia
National Laboratories, USA
Balthasar Reuter, ECMWF, United Kingdom
Matt Sottile <https://urldefense.us/v3/__https://scholar.google.com/citations?user=q6Z0FZMAAAAJ&hl=en__;!!G_uCfscf7eWS!f6vptuHt-aDA5SI5fYJUfM8PQOo5xPs5heljqfx9idEqr47ese_oVMYgtXC_zHHHJXFuHI796JWl-H86OlG49t7NXQ$ >,
Lawrence Livermore National Laboratory, USA
Mohit Tekriwal, Lawrence Livermore National Laboratory, USA
Lechen Yu, Microsoft, USA
Contact
=======
Please address workshop questions to Ignacio Laguna (ilaguna at llnl.gov)
and/or Cindy Rubio-González (crubio at ucdavis.edu).
--
Cindy Rubio González
Associate Professor of Computer Science
University of California, Davis
https://urldefense.us/v3/__http://web.cs.ucdavis.edu/*rubio/__;fg!!G_uCfscf7eWS!f6vptuHt-aDA5SI5fYJUfM8PQOo5xPs5heljqfx9idEqr47ese_oVMYgtXC_zHHHJXFuHI796JWl-H86OlFmgAiQeg$