[hpc-announce] CORRECTNESS Workshop at SC24 — Call for Papers

Fri Jun 14 16:35:58 CDT 2024

Apologies if you receive multiple copies of this email!

========================================================================

                            CALL FOR PAPERS

     Eighth International Workshop on Software Correctness for HPC

                  Applications (Correctness 2024)

    In conjunction with SC24: The International Conference for High

  Performance Computing, Networking, Storage and Analysis, November

   2024, Atlanta, Georgia, USA. In cooperation with IEEE Computer Society.

               https://urldefense.us/v3/__https://correctness-workshop.github.io/2024/__;!!G_uCfscf7eWS!cuAwSAp748nNo_FHTNEGo1h79ABY6Oqe0Q9hYYt2Q9wEDMO0AyPW9yJP83uFdYvJIpAlxFi07_I4J0aCsGGM3sz0EA$ 

========================================================================

Dates

=====

Paper submissions due: August 2, 2024

Notification of acceptance: September 6, 2024

Camera-ready papers due: September 27, 2024

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!cuAwSAp748nNo_FHTNEGo1h79ABY6Oqe0Q9hYYt2Q9wEDMO0AyPW9yJP83uFdYvJIpAlxFi07_I4J0aCsGGino8r0Q$ 

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

HPC Bug Fest

============

Like last year, we plan to host the HPC Bug Fest, a session that will focus
on correctness benchmarks. The goal is to provide a detailed snapshot of
the state-of-the-art HPC verification tools by both discussing their
methodologies and comparing their evaluation metrics.

This session only accepts short papers (2 to 4 pages) based on four
different contributions: (1) codes to expand existing benchmarks, (2) new
metrics to evaluate verification tools, (3) new results to track tools
updates, and (4) real world cases of error correction. An artifact
description is mandatory to ensure reproducibility.

More information on the website:
https://urldefense.us/v3/__https://sites.google.com/view/hpc-bugs-fest/home__;!!G_uCfscf7eWS!cuAwSAp748nNo_FHTNEGo1h79ABY6Oqe0Q9hYYt2Q9wEDMO0AyPW9yJP83uFdYvJIpAlxFi07_I4J0aCsGHJbE3bLA$ 

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 at a length of at least 6 pages but not exceeding 8 pages
of content, including everything.

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!cuAwSAp748nNo_FHTNEGo1h79ABY6Oqe0Q9hYYt2Q9wEDMO0AyPW9yJP83uFdYvJIpAlxFi07_I4J0aCsGHckQqiOQ$ >, National Center for
Atmospheric Research, USA

Allison H. Baker <https://urldefense.us/v3/__https://staff.ucar.edu/users/abaker__;!!G_uCfscf7eWS!cuAwSAp748nNo_FHTNEGo1h79ABY6Oqe0Q9hYYt2Q9wEDMO0AyPW9yJP83uFdYvJIpAlxFi07_I4J0aCsGGvuw-Q4Q$ >, National Center for
Atmospheric Research, USA

John Baugh <https://urldefense.us/v3/__https://www.ccee.ncsu.edu/people/jwb/__;!!G_uCfscf7eWS!cuAwSAp748nNo_FHTNEGo1h79ABY6Oqe0Q9hYYt2Q9wEDMO0AyPW9yJP83uFdYvJIpAlxFi07_I4J0aCsGF9_ANn2g$ >, North Carolina State
University, USA

Patrick Carribault <https://urldefense.us/v3/__http://www.cea.fr/__;!!G_uCfscf7eWS!cuAwSAp748nNo_FHTNEGo1h79ABY6Oqe0Q9hYYt2Q9wEDMO0AyPW9yJP83uFdYvJIpAlxFi07_I4J0aCsGGJqMv8JQ$ >, CEA-DAM, France

Ganesh Gopalakrishnan <https://urldefense.us/v3/__https://www.cs.utah.edu/*ganesh/__;fg!!G_uCfscf7eWS!cuAwSAp748nNo_FHTNEGo1h79ABY6Oqe0Q9hYYt2Q9wEDMO0AyPW9yJP83uFdYvJIpAlxFi07_I4J0aCsGHN7wYPmg$ >, University of
Utah, USA

Jan Hueckelheim <https://urldefense.us/v3/__https://www.anl.gov/profile/jan-huckelheim__;!!G_uCfscf7eWS!cuAwSAp748nNo_FHTNEGo1h79ABY6Oqe0Q9hYYt2Q9wEDMO0AyPW9yJP83uFdYvJIpAlxFi07_I4J0aCsGHAFsuaYA$ >, Argonne
National Laboratory, USA

Michael O. Lam <https://urldefense.us/v3/__https://w3.cs.jmu.edu/lam2mo/__;!!G_uCfscf7eWS!cuAwSAp748nNo_FHTNEGo1h79ABY6Oqe0Q9hYYt2Q9wEDMO0AyPW9yJP83uFdYvJIpAlxFi07_I4J0aCsGEG3jfkBw$ >, James Madison University,
USA

Jackson Mayo <https://urldefense.us/v3/__http://www.sandia.gov/__;!!G_uCfscf7eWS!cuAwSAp748nNo_FHTNEGo1h79ABY6Oqe0Q9hYYt2Q9wEDMO0AyPW9yJP83uFdYvJIpAlxFi07_I4J0aCsGGOglPhpQ$ >, Sandia National Laboratories, USA

Matthias S. Mueller, RWTH Aachen University, Germany

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!cuAwSAp748nNo_FHTNEGo1h79ABY6Oqe0Q9hYYt2Q9wEDMO0AyPW9yJP83uFdYvJIpAlxFi07_I4J0aCsGHIWqNMAA$ >, Sandia
National Laboratories, USA

Bruno Raffin, INRIA, France

Balthasar Reuter, ECMWF, United Kingdom

Emmanuelle Saillard <https://urldefense.us/v3/__http://emmanuellesaillard.fr/__;!!G_uCfscf7eWS!cuAwSAp748nNo_FHTNEGo1h79ABY6Oqe0Q9hYYt2Q9wEDMO0AyPW9yJP83uFdYvJIpAlxFi07_I4J0aCsGEhV2L3vw$ >, INRIA Bordeaux, France

Matt Sottile <https://urldefense.us/v3/__https://scholar.google.com/citations?user=q6Z0FZMAAAAJ&hl=en__;!!G_uCfscf7eWS!cuAwSAp748nNo_FHTNEGo1h79ABY6Oqe0Q9hYYt2Q9wEDMO0AyPW9yJP83uFdYvJIpAlxFi07_I4J0aCsGEXXoyBng$ >,
Lawrence Livermore National Laboratory, USA

Mohit Tekriwal, Lawrence Livermore National Laboratory, 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!cuAwSAp748nNo_FHTNEGo1h79ABY6Oqe0Q9hYYt2Q9wEDMO0AyPW9yJP83uFdYvJIpAlxFi07_I4J0aCsGE3Edlfuw$ 