Checking and Performance Optimization for HPC (C3PO'20).- Compiler-assisted type-safe checkpointing.- Static analysis to enhance programmability and performance in OmpSs-2 21 Automatic detection of MPI assertions.- Automatic Code Motion to Extend MPI Nonblocking Overlap Window.- First International Workshop on the Application of Machine Learning Techniques to Computational Fluid Dynamics Simulations and Analysis (CFDML) .-Complete Deep Computer-Vision Methodology for Investigating Hydrodynamic Instabilities.- Prediction of Acoustic Fields using a Lattice-Boltzmann Method and Deep Learning.- Unsupervised Learning of Particle Image Velocimetry.- Reduced order modeling of dynamical systems using arti cial neural networks applied to water circulation.- Parameter Identification of RANS turbulence model using Physics-embedded neural network.- Investigating the Overhead of the REST Protocol when Using Cloud Services for HPC Storage.- Characterizing I/O Optimization E ect Through Holistic Log Data Analysis of Parallel File Systems and Interconnects.- The Importance of Temporal Behavior when Classifying Job IO Patterns Using Machine Learning Techniques.- GOPHER, an HPC framework for large scale graph exploration and inference.- Ensembles of Networks Produced from Neural Architecture Search.- SmartPred: Unsupervised Hard Disk Failure Detection.- Application IO analysis with Lustre Monitoring using LASSi for ARCHER.- Characterizing HPC Performance Variation with Monitoring and Unsupervised Learning.- Service Function Chaining Based on Segment Routing Using P4 and SR-IOV (P4-SFC) .- Seamlessly managing HPC workloads through Kubernetes.- Interference-aware Orchestration in Kubernetes.- RustyHermit: A Scalable, Rust-based Virtual Execution Environment.- Rootless Containers with Podman for HPC.- Bioinformatics application with Kube ow for batch processing in clouds.- Converging HPC, Big Data and Cloud technologies for precision agriculture data analytics on supercomputers.