Static/Dynamic validation of MPI collective communications in multi-threaded context.

Emmanuelle Saillard, Patrick Carribault, Denis Barthou

Browse the full PPoPP paper archive.