Ankit Goel, Abhik Roychoudhury, Tulika Mitra: Compactly representing parallel program executions. PPoPP 2003: 191-202