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]

@article{HookerAMOSP19,
  title = {JPF-HJ: A Tool for Task Parallel Program Analysis},
  author = {Joshua Hooker and Peter Aldous and Eric Mercer and Benjamin Ogles and Kyle Storey and Sheridan Jacob Powell},
  year = {2019},
  doi = {10.1145/3364452.33644563},
  url = {https://doi.org/10.1145/3364452.33644563},
  researchr = {https://researchr.org/publication/HookerAMOSP19},
  cites = {0},
  citedby = {0},
  journal = {ACM SIGSOFT Software Engineering Notes},
  volume = {44},
  number = {4},
  pages = {19},
}