This book constitutes the refereed post-conference proceedings of 10 workshops held at the 35th International ISC High Performance 2020 Conference, in Frankfurt, Germany, in June 2020:
First Workshop on Compiler-assisted Correctness Checking and Performance Optimization for HPC (C3PO);