White box sampling in uncertain data processing enabled by program analysis

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2012, Pages 897-913

  Bao, Tao ^a   Zheng, Yunhui ^a   Zhang, Xiangyu ^a  

^a PURDUE UNIVERSITY   (United States)

Author keywords

Continuity; Discrete factors; Monte carlo; Program analysis; Robustness; Uncertainty

Indexed keywords

CONTINUITY; DISCRETE FACTORS; MONTE CARLO; PROGRAM ANALYSIS; UNCERTAINTY;

COMPUTER PROGRAMMING LANGUAGES; DATA PROCESSING; ERROR ANALYSIS; FACTOR ANALYSIS; OBJECT ORIENTED PROGRAMMING; ROBUSTNESS (CONTROL SYSTEMS); UNCERTAINTY ANALYSIS;

IMPORTANCE SAMPLING;

EID: 84869808037     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2384616.2384681     Document Type: Conference Paper

References (28)

1. H. Agrawal and J. R. Horgan. Dynamic program slicing. In PLDI '90.
2. V. N. Alexandrov, I. T. Dimov, A. Karaivanova, and C. J. K. Tan. Parallel monte carlo algorithms for information retrieval. Math. Comput. Simul., 62(3-6), 2003.
3. J. Barhen and D. B. Reister. Uncertainty analysis based on sensitivities generated using automatic differentiation. In ICCSA, 2003.
4. I. Beichl, Y. A. Teng, and J. L. Blue. Parallel monte carlo simulation of mbe growth. In IPPS, 1995.
5. M. Carbin and M. C. Rinard. Automatically identifying critical input regions and code in applications. In ISSTA, 2010.
6. S. Chaudhuri, S. Gulwani, and R. Lublinerman. Continuity analysis of programs. In POPL, 2010.
7. S. Chaudhuri, S. Gulwani, R. Lublinerman, and S. Navidpour. Proving programs robust. In ESEC/FSE, 2011.
8. J. Clause, W. Li, and A. Orso. Dytan: a generic dynamic taint analysis framework In ISSTA, 2007.
9. U. Consortium. The universal protein resource (uniprot) in 2010. Nucleic Acids Res, 38(Database issue), Jan 2010.
10. P. Godefroid, A. Kiezun, and M. Y. Levin. Grammar-based Whitebox Fuzzing. In PLDI, 2008.
11. P. Godefroid, M. Y. Levin, and D. Molnar. Automated Whitebox Fuzz Testing. In NDSS, 2008.
12. M. P.E. Heimdahl, Y. Choi, and M. W. Whalen. Deviation Analysis Through Model Checking. In ASE, 2002.
13. J. C. Helton, J. D. Johnson, C. J. Sallaberry, and C. B. Storlie. Survey of sampling-based methods for uncertainty and sensitivity analysis. Reliability Eng. & Sys. Safety, 91(10-11), 2006.
14. Y. C. Ho, M. A. Eyler, and T. T. Chien. A gradient technique for general buffer storage design in a production line. Inter- national Journal of Production Research,1979.
15. R. Jampani, F. Xu, M. Wu, L. L. Perez, C. Jermaine, and P. J. Haas. Mcdb: a monte carlo approach to managing uncertain data. In SIGMOD, 2008.
16. P. D. Karp. What we do not know about sequence analysis and sequence databases. Bioinformatics, 14(9), 1998.
17. M. D.McKay, R. J. Beckman, andW. J. Conover. A comparison of three methods for selecting values of input variables in the analysis of output from a computer code. Technometrics, 42(1), 2000.
18. M. G. Morgan and M. Henrion. Uncertainty: A Guide to Dealing with Uncertainty in Quantitative Risk and Policy Analysis. Cambridge University Press, 1992.
19. S.McCamant and M. Ernst. Quantitative Information Flow as Network Flow Capacity. In PLDI, 2007.
20. J. Newsome and D. Song. Dynamic Taint Analysis for Automatic Detection, Analysis, and Signature Generation of Exploits on Commodity Software. In NDSS, 2005.
21. S. Singh, C. Mayfield, R. Shah, S. Prabhakar, S. E. Hambrusch, J. Neville, and R. Cheng. Database support for probabilistic attributes and tuples. In ICDE, 2008.
22. W. N. Sumner, T. Bao, X. Zhang, and S. Prabhakar. Coalescing executions for fast uncertainty analysis. In ICSE, 2011.
23. E. Tang, E. Barr, X. Li, and Z. Su. Perturbing numerical calculations for statistical analysis of floating-point program (in)stability. In ISSTA, 2010.
24. S. Tripathi and R. S. Govindaraju. Engaging uncertainty in hydrologic data sets using principal component analysis: Banpca algorithm. Water Resour. Res., 44(10), Oct 2008.
25. B. A. Worley. Deterministic uncertainty analysis. Technical Report ORNL-6428, Oak Ridge National Lab. TN (USA), 1987.
26. M. Zhang, X. Zhang, X. Zhang, and S. Prabhakar. Tracing lineage beyond relational operators. In VLDB, 2007.
27. X. Zhang, W. Hines, J. Adamec, J. M. Asara, S. Naylor, and F. E. Regnier. An automated method for the analysis of stable isotope labeling data in proteomics. Journal of the American Society for Mass Spectrometry, 16(7):1181-1191, July 2005.
28. X. Zhang, S. Tallam, N. Gupta, and R. Gupta. Towards locating execution omission errors. In PLDI, San Diego, CA, 2007.