Proceedings of the First International Workshop on Software Correctness for HPC Applications