Kaiyu Chen Sharad Malik Priyadarsan Patra Runtime Validation of Transactional Memory Systems. 750-756 2008 ISQED http://doi.ieeecomputersociety.org/10.1109/ISQED.2008.158 conf/isqed/2008 db/conf/isqed/isqed2008.html#ChenMP08