Lawrence Livermore National Laboratory Greg Bronevetsky in collaboration with Ignacio Laguna, Saurabh Bagchi, Bronis R. de Supinski, Dong H. Ahn, and Martin.
Statistical Fault Detection and Analysis with AutomaDeD
AutomaDeD: Automata-Based Debugging for Dissimilar Parallel Tasks
