WuKong: Automatically detecting and localizing bugs that manifest at large system scales

HPDC 2013 - Proceedings of the 22nd ACM International Symposium on High-Performance Parallel and Distributed Computing

Volumn , Issue , 2013, Pages 131-142

  Zhou, Bowen ^a   Too, Jonathan ^a   Kulkarni, Milind ^a   Bagchi, Saurabh ^a  

^a PURDUE UNIVERSITY   (United States)

Author keywords

feature reconstruction; program behavior prediction; scale dependent bug

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS;

ANOMALOUS BEHAVIOR; AUTOMATIC DIAGNOSIS; FEATURE RECONSTRUCTION; LARGE-SCALE APPLICATIONS; LARGE-SCALE PROGRAMS; PROGRAM BEHAVIOR; SCALE-DEPENDENT BUG; STATISTICAL TECHNIQUES;

PROGRAM DEBUGGING;

EID: 84880070062     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2462902.2462907     Document Type: Conference Paper

References (25)

1. https://trac.mcs.anl.gov/projects/mpich2/changeset/5262.
2. https://asc.llnl.gov/sequoia/benchmarks/.
3. https://trac.transmissionbt.com/changeset/11666.
4. H. Akaike. A new look at the statistical model identification. Automatic Control, IEEE Transactions on, 19(6):716-723, dec 1974.
5. D. Andrzejewski, A. Mulhern, B. Liblit, and X. Zhu. Statistical debugging using latent topic models. In ECML '07.
6. B. J. Barnes, B. Rountree, D. K. Lowenthal, J. Reeves, B. de Supinski, and M. Schulz. A regression-based approach to scalability prediction. In ICS '08.
7. M. Bond, G. Baker, and S. Guyer. Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses. In PLDI '10.
8. M. Bond and K. McKinley. Probabilistic calling context. In OOPSLA '07.
9. G. Bronevetsky, I. Laguna, S. Bagchi, B. R. de Supinski, D. H. Ahn, and M. Schulz. AutomaDeD: Automata-Based Debugging for Dissimilar Parallel Tasks. In DSN '10.
10. T. M. Chilimbi, B. Liblit, K. Mehra, A. V. Nori, and K. Vaswani. Holmes: Effective statistical debugging via efficient path profiling. In ICSE '09.
11. L. Dietz, V. Dallmeier, A. Zeller, and T. Scheffer. Localizing bugs in program executions with graphical models. In NIPS '09.
12. Q. Gao, F. Qin, and D. Panda. DMTracker: Finding Bugs in Large-Scale Parallel Programs by Detecting Anomaly in Data Movements. In SC '07.
13. T. Hastie, R. Tibshirani, and J. Friedman. The Elements of Statistical Learning (2nd edition). Springer-Verlag, 2008.
14. J. A. Jones and M. J. Harrold. Empirical evaluation of the tarantula automatic fault-localization technique. In ASE '05.
15. M. Kuhn and K. Johnson. An Introduction to Multivariate Modeling Techniques. http://zoo.cs.yale.edu/classes/cs445/slides/Pfizer-Yale-Version.ppt.
16. G. L. Lee, D. H. Ahn, D. C. Arnold, B. R. de Supinski, M. Legendre, B. P. Miller, M. Schulz, and B. Liblit. Lessons Learned at 208K: Towards Debugging Millions of Cores. In SC '08.
17. B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan. Bug isolation via remote program sampling. In PLDI '03.
18. B. Liblit, M. Naik, A. X. Zheng, A. Aiken, and M. I. Jordan. Scalable statistical bug isolation. In PLDI '05.
19. C. Liu, L. Fei, X. Yan, J. Han, and S. P. Midkiff. Statistical debugging: A hypothesis testing-based approach. IEEE Trans. Softw. Eng., 32:831-848, October 2006.
20. C.-K. Luk, R. Cohn, R. Muth, H. Patil, A. Klauser, G. Lowney, S. Wallace, V. J. Reddi, and K. Hazelwood. Pin: building customized program analysis tools with dynamic instrumentation. In PLDI '05.
21. A. V. Mirgorodskiy, N. Maruyama, and B. P. Miller. Problem diagnosis in large-scale computing environments. In SC '06.
22. K. Tseng, D. Chen, Z. Kalbarczyk, and R. Iyer. Characterization of the error resiliency of power grid substation devices. In DSN '12.
23. A. X. Zheng, M. I. Jordan, B. Liblit, M. Naik, and A. Aiken. Statistical debugging: simultaneous identification of multiple bugs. In ICML '06.
24. B. Zhou, M. Kulkarni, and S. Bagchi. Abhranta: Locating bugs that manifest at large system scales. In HotDep '12.
25. B. Zhou, M. Kulkarni, and S. Bagchi. Vrisha: using scaling properties of parallel programs for bug detection and localization. In HPDC '11.