JPF-HJ: A Tool for Task Parallel Program Analysis

Joshua Hooker, Peter Aldous, Eric Mercer, Benjamin Ogles, Kyle Storey, Sheridan Jacob Powell. JPF-HJ: A Tool for Task Parallel Program Analysis. ACM SIGSOFT Software Engineering Notes, 44(4):19, 2019. [doi]

Abstract

Abstract is missing.