HPC Software Verification in Action: A Case Study with Tensor Transposition.

Erdal Mutlu, Ajay Panyala, Sriram Krishnamoorthy

Browse the full SC paper archive.