Verifying Data Integrity for Multi-Threaded Programs.

Imran Pinjari, Michael Shin, Pushkar Ogale

Browse the full ICSoft paper archive.