Return to Article Details A system for the automated finding of inefficiencies and errors in parallel programs Download Download PDF