Compiler-assisted generation of error-detecting parallel programsA. Roy-ChowdhuryP. Banerjee1996FTCS 1996