Specification and Verification of Atomic Operations in GPGPU Programs.

Afshin Amighi, Saeed Darabi, Stefan Blom, Marieke Huisman

Browse the full SEFM paper archive.