"Automatic Generation of Runtime Checkers for Production Distributed Systems" by Ryan Huang | Strange Loop Conference | Podwise