Symbolically modeling concurrent MCAPI executions. - Topher Fischer; Eric Mercer; Neha Rungta (PPoPP, 2011)