May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization.

Elvira Albert, Samir Genaim, Pablo Gordillo

Browse the full SAS paper archive.