Microsoft Corporation

James Jordan Tigani

Bradley Gene Calder

Andrew James Edwards

Satish Narayanasamy

Zhenghao Wang

An apparatus, method and computer-readable medium provide for detecting and filtering potential race conditions. In one example, potential race conditions may be detected by determining overlap of memory accesses (e.g., read, write). Potential race conditions may be filtered as potentially benign or harmful race conditions using, for example, heuristics, comparison of output states from execution of instructions or operations in differing sequences or identifying of associated output bugs corresponding to the execution of operations in different sequences.

Growing community of inventors

Seattle, WA, United States of America

James Jordan Tigani