Linked Presentation: Operating System Support for Safe and Efficient Auxiliary ExecutionDemystifying and Checking Silent Semantic Violations in Large Distributed Systems
