Proceedings of the First International Workshop on Software Correctness for HPC Applications (Association for Computing Machinery, 2017)