publication venue for Scaling predictive analysis of concurrent programs by removing trace redundancy. 22:8-21. 2013