Heisenbugs: A Probabilistic Approach to Availability Heisenbugs: A Probabilistic Approach to Availability Jim Gray Microsoft Research gray/Talks