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]

Authors

Katherine E. Isaacs

This author has not been identified. Look up 'Katherine E. Isaacs' in Google

Todd Gamblin

This author has not been identified. Look up 'Todd Gamblin' in Google

Abhinav Bhatele

This author has not been identified. Look up 'Abhinav Bhatele' in Google

Martin Schulz

This author has not been identified. Look up 'Martin Schulz' in Google

Bernd Hamann

This author has not been identified. Look up 'Bernd Hamann' in Google

Peer-Timo Bremer

This author has not been identified. Look up 'Peer-Timo Bremer' in Google