MiniKokkos: A Calculus of Portable Parallelism
2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness) (2022) - Comments
doi: 10.1109/correctness56720.2022.00010 

Feiyang Jin, John Jacobson, Samuel D. Pollard, Vivek Sarkar