Symbolically modeling concurrent MCAPI executions.

Topher Fischer, Eric Mercer, Neha Rungta

Browse the full PPoPP paper archive.