Conference paperOn-The-fly topological sort-A basis for interactive debugging and live visualization of parallel programs