Publication - Proceedings Article HPC Software Verification in Action: A Case Study with Tensor Transposition

https://doi.org/10.1109/correctness.2018.00006
Conference Proceedings
2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness), 2018
Authors
Erdal Mutlu, Ajay Panyala, Sriram Krishnamoorthy
English