Workshop on Correctness and Reproducibility

We are excited to announce that we are organizing a two-day workshop on correctness and reproducibility for earth system software. Abstracts are being accepted now through August 1. Registration will remain open until October 20 (in person) and November 3 (virtual). And the workshop will take place November 9-10 at NCAR’s Mesa Laboratory in Boulder, Colorado, and virtually.

We hope that this workshop will provide a venue to discuss challenges, opportunities, and recent advances in ensuring software correctness and reproducibility for researchers, HPC community members, and industry partners.

Topics of interest include but not limited to:

• Tools and approaches for software testing, debugging, quality assurance, and continuous integration.
• Statistical and ensemble-based approaches for evaluating model consistency and software correctness.
• Software design approaches and development practices for streamlining correctness and reproducibility efforts.
• Formal methods, abstraction, and logical proof techniques for rigorous verification.
• Verifying and validating large-scale applications running on HPC clusters, cloud computing systems, heterogeneous systems, GPUs, etc.
• Other software correctness and reproducibility approaches for facilitating verification and validation.

For more information, visit the workshop website: https://ncar.github.io/correctness-workshop/