Forcing small models of conditions on program interleaving for detection of concurrent bugsEhud TraininYarden Nir-Buchbinderet al.2009ISSTA 2009
A proposal of operation history management system for source-to-source optimization of HPC programsYasushi NegishiHiroki Murataet al.2009ISSTA 2009
MulticoreSDK: A practical and efficient data race detector for real-world applicationsYao QiRaja Daset al.2009ISSTA 2009