This project concerns a new approach to debugging, which will be applicable to very large 'petascale' parallel supercomputers. Our approach will make it possible to find errors in programs as they are moved from smaller systems to the new generation of enormous machines. Building on our prior successful ARC funded Discovery grants, we will devise techniques that scale to tens of thousands of processors. The outcomes will be a range of new debugging mechanisms, as well as a commercial quality implementation that can be exploited by our industry partner.