A Formal Analysis of the NVIDIA PTX Memory Consistency Model.

Daniel Lustig, Sameer D. Sahasrabuddhe, Olivier Giroux

Browse the full ASPLOS paper archive.