Vulcan: Hardware Support for Detecting Sequential Consistency Violations Dynamically

Abdullah Muzahid, Shanxiang Qi, Josep Torrellas
2012 2012 45th Annual IEEE/ACM International Symposium on Microarchitecture  
doi:10.1109/micro.2012.41 dblp:conf/micro/MuzahidQT12 fatcat:xee34gn7bfgtznyqsdzmoiwupq