PerfAugur: Robust diagnostics for performance anomalies in cloud services
A formal approach to finding explanations for database queries