Abstract: To fully utilize multi-processors, new tools are required to manage software complexity. We present a novel technique that enables automating hierarchical ...