"Automatic Generation of Runtime Checkers for Production Distributed Systems" by Ryan Huang