Linked Presentation: Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic ExecutionPredictive and Adaptive Failure Mitigation to Avert Production Cloud VM Interruptions
