mSWAT: Low-cost Hardware Fault Detection and Diagnosis for Multicore Systems
The Java memory model
ACM SIGPLAN Notices
Jeremy Manson
Byn Choi
William Pugh
Pradeep Ramachandran
Man-Lap Li
Siva Kumar Sastry Hari
Pleiad: A Cross-environment Middleware Providing Efficient Multithreading on Clusters