Ordering Traces Logically to Identify Lateness in Message Passing Programs

Katherine E. Isaacs, Todd Gamblin, Abhinav Bhatele, Martin Schulz, Bernd Hamann, Peer-Timo Bremer. Ordering Traces Logically to Identify Lateness in Message Passing Programs. IEEE Trans. Parallel Distrib. Syst., 27(3):829-840, 2016. [doi]

@article{IsaacsGBSHB16,
  title = {Ordering Traces Logically to Identify Lateness in Message Passing Programs},
  author = {Katherine E. Isaacs and Todd Gamblin and Abhinav Bhatele and Martin Schulz and Bernd Hamann and Peer-Timo Bremer},
  year = {2016},
  doi = {10.1109/TPDS.2015.2417531},
  url = {http://doi.ieeecomputersociety.org/10.1109/TPDS.2015.2417531},
  researchr = {https://researchr.org/publication/IsaacsGBSHB16},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Parallel Distrib. Syst.},
  volume = {27},
  number = {3},
  pages = {829-840},
}