[CSC'23] Letting HPC Programmers Focus On Correctness First, Then On Performance

ACM SIGPLAN - [CSC'23] Letting HPC Programmers Focus On Correctness First, Then On Performance