[hpc-announce] C3PO'24, in conjunction with ISC 2024

[Emmanuelle Saillard]

============================================================================================== 
CALL FOR PAPERS 

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

In conjunction with ISC HIGH PERFORMANCE 2024 [ https://c3po-workshop.github.io/2024/index | https://c3po-workshop.github.io/2024/index ] 

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


Dates 
===== 

Papers submissions due: March 1 
Notification of acceptance: April 1 
Workshop: May 16 


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. 


Organizers 
========== 

Emmanuelle Saillard, Inria 
Julien Jaeger, CEA 
Anthony Skjellum, University of Tennessee at Chattanooga 
Purushotham Bangalore, University of Alabama at Birmingham 
Peter Pirkelbauer, Lawrence Livermore National Laboratory / University of Central Florida 
Peter Thoman, University of Innsbruck 


Contact 
======= 

Please address workshop questions to Emmanuelle Saillard ( emmanuelle.saillard at inria.fr ) and/or Julien Jaeger ( julien.jaeger at cea.fr ).

Emmanuelle