MiniKokkos: A Calculus of Portable Parallelism.

Feiyang Jin John Jacobson Samuel D. Pollard Vivek Sarkar

Published in: Correctness@SC (2022)

Keyphrases

parallel processing
lightweight
fine grain
computational power
shared memory
computer algebra
coarse grain
massively parallel
parallel computing
parallel computation
algebraic structure
provably correct
mobile devices
formal language