posted by organizer: pirkelpm || 1527 views || tracked by 1 users: [display]

C3PO 2020 : Compiler-assisted Correctness Checking and Performance Optimization for HPC

FacebookTwitterLinkedInGoogle

Link: https://c3po-workshop.github.io/
 
When Jun 25, 2020 - Jun 25, 2020
Where Frankfurt
Submission Deadline Apr 15, 2020
Notification Due May 1, 2020
Final Version Due May 31, 2020
Categories    HPC   compilers   correctness   optimization
 

Call For Papers

Compiler-assisted Correctness Checking and Performance Optimization for HPC (C3PO) workshop

co-located with ISC
Frankfurt, Germany
June 25 2020
https://c3po-workshop.github.io


C3PO is a new workshop at the intersection of compilers/translators, HPC middleware, and HPC applications. 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.

The workshop solicits contributions in the following (but not limited to) topics:

* 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

Submission

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.


Papers must be submitted in PDF format on the submission website. The organizers will make informal proceedings available online before the conference. Authors may submit a revised version of the paper after the workshop for printed proceedings. Authors of accepted papers will be required to sign the Springer copyright form. Instructions for preparing papers for the proceedings will be emailed to authors of accepted papers.

Important Dates

Paper submissions due: April 15, 2020
Notification of acceptance: May 1, 2020
Pre-conference version: May 31, 2020
Camera-ready papers due: July 5, 2020
Looking forward to your participation. We hope to see you in Frankfurt for C3PO 2020!

Best regards,
The C3PO workshop Organizers

Related Resources

IEEE Big Data - BPOD 2021   The Fifth IEEE International Workshop on Benchmarking, Performance Tuning and Optimization for Big Data Applications
OpenSuCo @ ISC HPC 2017   2017 International Workshop on Open Source Supercomputing
ACML 2021   The 13th Asian Conference on Machine Learning
ICCEIS 2021   1st INTERNATIONAL CONFERENCE ON COMPUTATIONAL ENGINEERING AND INTELLIGENT SYSTEMS
ISC HPC 2021   ISC HIGH PERFORMANCE 2021 DIGITAL
Micro - Compiling for Accelerators 2022   IEEE Micro Special Issue on Compiling for Accelerators
Fact-Checking, Fake News in OSN 2021   2nd International Symposium on Fact-Checking, Fake News and Malware Detection in Online Social Networks (OSNs)
IJACEEE 2021   International Journal of Applied Control, Electrical and Electronics Engineering
SDM 2022   SIAM International Conference on Data Mining
CSMO 2022   2022 6th International Conference on Simulation, Modeling and Optimization (CSMO 2022)