Coalescing executions for fast uncertainty analysis

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2011, Pages 581-590

  Sumner, William N ^a   Bao, Tao ^a   Zhang, Xiangyu ^a   Prabhakar, Sunil ^a  

^a PURDUE UNIVERSITY   (United States)

Author keywords

coalescing; monte carlo; sensitivity; uncertainty

Indexed keywords

COALESCING; CONTROL FLOWS; EXECUTION TIME; FINANCIAL DECISIONS; MONTE CARLO; MULTIPLE SAMPLES; SCIENTIFIC COMPUTATION; SENSITIVITY; SINGLE-VALUE; SOFTWARE-BASED SOLUTIONS; SPEED-UPS; STATISTICAL BEHAVIOR; UNCERTAINTY;

DATA HANDLING; DECISION MAKING; FINANCIAL DATA PROCESSING; FLOCCULATION; MONTE CARLO METHODS; SOFTWARE ENGINEERING;

UNCERTAINTY ANALYSIS;

EID: 79959912286     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1985793.1985872     Document Type: Conference Paper

References (29)

1. U. Acar, G. Blelloch, and R. Harper. Selective memoization. In POPL, 2003.
2. V. Alexandrov, I. Dimov, A. Karaivanova, and C. Tan. Parallel monte carlo algorithms for information retrieval. Math. Comput. Simul., 62(3-6), 2003.
3. J. Barhen and D. Reister. Uncertainty analysis based on sensitivities generated using automatic differentiation. In ICCSA, 2003.
4. I. Beichl, Y. Teng, and J. Blue. Parallel monte carlo simulation of mbe growth. In IPPS, 1995.
5. M. Carbin and M. 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. J. Clause, W. Li, and A. Orso. Dytan: a generic dynamic taint analysis framework. In ISSTA, 2007.
8. U. Consortium. The universal protein resource (uniprot) in 2010. Nucleic Acids Res, 38, Jan 2010.
9. M. d'Amorim, S. Lauterburg, and D. Marinov. Delta execution for efficient state-space exploration of object-oriented programs. In ISSTA, 2007.
10. M. Heimdahl, Y. Choi, and M. Whalen. Deviation analysis through model checking. In ASE, 2002.
11. J. Helton, J. Johnson, C. Sallaberry, and C. Storlie. Survey of sampling-based methods for uncertainty and sensitivity analysis. Reliability Eng. & Sys. Safety, 91(10-11), 2006.
12. Y. Ho, M. Eyler, and T. Chien. A gradient technique for general buffer storage design in a production line. Int. Jour. of Prod. Res., 17(6), 1979.
13. R. Jampani, F. Xu, M. Wu, L. Perez, C. Jermaine, and P. Haas. Mcdb: a monte carlo approach to managing uncertain data. In SIGMOD, 2008.
14. N. Jones, C. Gomard, and P. Sestoft. Partial evaluation and automatic program generation. Prentice-Hall, Inc., 1993.
15. N. Jones, P. Sestoft, and H. Sondergaard. An experiment in partial evaluation: the generation of a compiler generator. In RTA, 1985.
16. P. Karp. What we do not know about sequence analysis and sequence databases. Bioinformatics, 14(9), 1998.
17. G. Keller, H. Chaffey-Millar, M. Chakravarty, D. Stewart, and C. Barner-Kowollik. Specialising simulator generators for high-performance monte-carlo methods. In PADL, 2008.
18. Y. Liu and T. Teitelbaum. Caching intermediate results for program improvement. In PEPM, 1995.
19. M. Morgan and M. Henrion. Uncertainty: A Guide to Dealing with Uncertainty in Quantitative Risk and Policy Analysis. Cambridge University Press, 1992.
20. N. Nethercote and J. Seward. Valgrind: a framework for heavyweight dynamic binary instrumentation. In PLDI, 2007.
21. J. Newsome and D. Song. Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software. In NDSS, 2005.
22. W. Pugh and T. Teitelbaum. Incremental computation via function caching. In POPL, 1989.
23. O. Ruwase, S. Chen, P. Gibbons, and T. Mowry. Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools. In PLDI, 2010.
24. A. Shankar, S. Sastry, R. Bodík, and J. Smith. Runtime specialization with optimistic heap analysis. In OOPSLA, 2005.
25. S. Singh, C. Mayfield, R. Shah, S. Prabhakar, S. Hambrusch, J. Neville, and R. Cheng. Database support for probabilistic attributes and tuples. In ICDE, 2008.
26. E. Tang, E. Barr, X. Li, and Z. Su. Perturbing numerical calculations for statistical analysis of floating-point program (in)stability. In ISSTA, 2010.
27. J. Tucek, W. Xiong, and Y. Zhou. Efficient online validation with delta execution. In ASPLOS, 2009.
28. B. Worley. Deterministic uncertainty analysis. Technical report, Oak Ridge National Lab. TN, 1987.
29. M. Zhang, X. Zhang, X. Zhang, and S. Prabhakar. Tracing lineage beyond relational operators. In VLDB, 2007.