CFP

C3PO'25: Fifth workshop on Compiler-assisted Correctness Checking and Performance Optimization for HPC

Hamburg, Germany, June 13, 2025

Conference website	https://c3po-workshop.github.io/2025/index
Submission link	https://easychair.org/conferences/?conf=c3po25
Submission deadline	February 21, 2025

Topics: hpc compiler optimization

CALL FOR PAPERS

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

 Fifth International Workshop on Compiler-assisted Correctness 
 Checking and Performance Optimization for HPC (C3PO'25)

In conjunction with ISC HIGH PERFORMANCE 2025

          https://c3po-workshop.github.io/2025/index

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

Dates

Papers submissions due: February 21 2025 AoE

Notification of acceptance: March 24 2025

Camera-ready version : May 16 2025

Workshop: June 13 2025

Scope

Practical compiler-enabled programming environments, applied analysis methodologies, and end-to-end toolchains are crucial to performance portability in the exascale era. The workshop brings together researchers with a shared interest in applying compilation and source-to-source translation methodologies to enhance parallel programming, including explicit programming models such as MPI, OpenMP, and hybrid models.

Original papers will identify and solve challenges in the tradeoffs of scalability, performance, predictability, correctness, productivity, and portability on-node and at massive scale. Strong-scaling, weak-scaling, and hybrid-scaling solutions assisted, augmented, and/or enabled by compiler technology are in scope.

We recognize that there are standard static analysis technologies (dataflow analysis, polyhedral analysis, etc); this workshop seeks innovative applications of such technologies to derive enhanced utility in parallel programs that are generalizable beyond a single case study or narrow application.

Topics

Topics of interest include, but are not limited to:

Automatic parallelization
Compilation for heterogeneous systems
Compiler enabled optimization
Compilation techniques for correctness checking of parallel software
Cross-languages translation
Modernization of legacy codes
Source code instrumentation
Source-to-source analysis/transformations
Static analysis
Static/dynamic interaction
Compiler-based tooling for parallel application development
Artificial Intelligence applied to compilation techniques

Submissions and Format

C3PO solicits two kinds of papers. Full papers present novel and original research and are limited to 12 pages in Springer LNCS format. Short papers report on interesting new ideas, work with promising/early results, or empirical studies and are limited to 6 pages in Springer LNCS format.

The review process is double blind. Each submission will receive at least three reviews.

You can find all information here : https://c3po-workshop.github.io/2025/call

Organizers

Julien Jaeger, CEA

Anthony Skjellum, Tennessee Technological University

Peter Pirkelbauer, Lawrence Livermore National Laboratory

Purushotham Bangalore, University of Alabama

Emmanuelle Saillard, Inria

Contact

Please address workshop questions to Julien Jaeger (julien.jaeger at cea.fr) and/or Tony Skjellum (askjellum at tntech.edu) and/or Peter Pirkelbauer (pirkelbauer2 at llnl.gov).