Protocols by Default - Safe MPI Code Generation Based on Session Types.

Nicholas Ng, Jos Gabriel de Figueiredo Coutinho, Nobuko Yoshida

Browse the full CC paper archive.