Linked Presentation: ScaleCheck: A Single-Machine Approach for Discovering Scalability Bugs in Large Distributed Systems