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