2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness)