Finding parallel patterns through static analysis in C++ applications | Publicación