Verification of software barriers.

Alexander Malkis, Anindya Banerjee

Browse the full PPoPP paper archive.