Overview of OMPT-based tools: How to use them? How to build them?

This talk will provide a round trip through the world of OMPT-based tools. Based on first-hand experience of the API design and development of several publicly available OMPT tools targeting correctness and performance issues, this talk will review some of the API's non-obvious functionality and existing OMPT-based tools. If you cannot find the tool for your needs, this talk might give you at least some inspiration and pointers on how to develop your own tool for your specific need.