Dynamic Verification for Hybrid Concurrent Programming Models.

Erdal Mutlu, Vladimir Gajinov, Adrin Cristal, Serdar Tasiran, Osman S. Unsal

Browse the full RV paper archive.