AutomaDeD: Automata-based debugging for dissimilar parallel tasks.

Greg Bronevetsky, Ignacio Laguna, Saurabh Bagchi, Bronis R. de Supinski, Dong H. Ahn, Martin Schulz

Browse the full DSN paper archive.