layout template1 title Correctness 2018 comments false Camera Ready Procedure Correctness 2018: Second International Workshop on Software Correctness for HPC Applications