Region-Based May-Happen-in-Parallel Analysis for C Programs.

Peng Di, Yulei Sui, Ding Ye, Jingling Xue

Browse the full ICPP paper archive.