This workshop, held in conjunction with SC23 at the Colorado Convention Center, Denver, CO., November 12, 2023, 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.
| Event Information | Details |
|---|---|
| Event Name | Correctness 2023: Seventh International Workshop on Software Correctness for HPC Applications |
| Deadline for paper submissions | August 4, 2023 |
| Notification of acceptance | September 8, 2023 |
| Event Date | November 12, 2023 |
| Website | https://correctness-workshop.github.io/2023/ |
Topics of interest include, but are not limited to:
-
Correctness in Scientific Applications and Algorithms
- Formal methods and rigorous mathematical techniques for correctness in 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 for Debugging, Testing, and Correctness Checking
- Program synthesis techniques for testing and debugging HPC applications
- 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
-
Programming Models and Runtime Systems Correctness
- 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
Please check the workshop webpage for further details and updates.
