Linked Presentation: RESIN: A Holistic Service for Dealing with Memory Leaks in Production Cloud InfrastructureDemystifying and Checking Silent Semantic Violations in Large Distributed Systems
