Static and Dynamic Analysis of the PAMINSA

I am interested in developing tools and methods that aim at debugging and optimizing hpc applications. I have developed parcoach, a static/dynamic tool that detects collective errors in parallel applications. The static part identifies the reduced set of collective communications that may eventually lead to potential deadlock situations, and issues warnings. Using this analysis, a selective instrumentation of the code is then achieved, displaying an error, synchronously interrupting all processes, if the schedule leads to a deadlock situation. eller Parcoach is implemented as a llvm pass and is still under development.