[PPT] - Local Nontermination Detection for Parallel C++ Programs Vladimr PowerPoint Presentation