Our paper, BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation, got a Distinguished Paper Award at S&P 2024!