Scaling predictive analysis of concurrent programs by removing trace redundancy

@article{Huang2013ScalingPA,
  title={Scaling predictive analysis of concurrent programs by removing trace redundancy},
  author={Jeff Huang and Jinguo Zhou and Charles Zhang},
  journal={ACM Trans. Softw. Eng. Methodol.},
  year={2013},
  volume={22},
  pages={8:1-8:21}
}
Predictive trace analysis (PTA) of concurrent programs is powerful in finding concurrency bugs unseen in past program executions. Unfortunately, existing PTA solutions face considerable challenges in scaling to large traces. In this article, we identify that a large percentage of events in the trace are redundant for presenting useful analysis results to the end user. Removing them from the trace can significantly improve the scalability of PTA without affecting the quality of the results. We… CONTINUE READING

Citations

Publications citing this paper.
Showing 1-10 of 12 extracted citations

Debugging Concurrent Software: Advances and Challenges

Journal of Computer Science and Technology • 2016
View 8 Excerpts

Replaying Harmful Data Races in Android Apps

2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) • 2016
View 1 Excerpt

Statically Detect Data Races for WS-BPEL Web Services by Constraint Solver

2016 IEEE International Conference on Web Services (ICWS) • 2016
View 1 Excerpt

GPredict: Generic Predictive Concurrency Analysis

2015 IEEE/ACM 37th IEEE International Conference on Software Engineering • 2015
View 4 Excerpts

RECONTEST: Effective Regression Testing of Concurrent Programs

2015 IEEE/ACM 37th IEEE International Conference on Software Engineering • 2015
View 6 Excerpts

References

Publications referenced by this paper.
Showing 1-10 of 13 references

Runtime analysis of atomicity for multithreaded programs

IEEE Transactions on Software Engineering • 2006
View 8 Excerpts
Highly Influenced

Detecting atomic-set serializability violations in multithreaded programs through active randomized testing

2010 ACM/IEEE 32nd International Conference on Software Engineering • 2010
View 5 Excerpts
Highly Influenced

jpredictor: a predictive runtime analysis tool for java

F. CHEN, T. F. SERBANUTA, G. ROSU
ICSE. • 2008
View 11 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…