Verification of producer-consumer synchronization in GPU programs.

Rahul Sharma, Michael Bauer, Alex Aiken

Browse the full PLDI paper archive.