Enviar por SMS: Scalable trace analysis of distributed systems: finding data races