Avoiding program failures through safe execution perturbations

Proceedings - International Computer Software and Applications Conference

Volumn , Issue , 2008, Pages 152-159

  Tallam, Sriraman ^a   Tian, Chen ^b   Gupta, Rajiv ^b   Zhang, Xiangyu ^c  

^a GOOGLE INC   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c PURDUE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER APPLICATIONS; COMPUTER SOFTWARE; COMPUTERS; INFORMATION THEORY; WORD PROCESSING;

OVER-FLOW; PROGRAM EXECUTIONS;

PERTURBATION TECHNIQUES;

EID: 51949119271     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSAC.2008.23     Document Type: Conference Paper

References (25)

1. http://bugs.mysql.com/bug.php?id=110.
2. http://bugs.mysql.com/bug.php?id=169.
3. http://bugs.mysql.com/bug.php?id=6678.
4. http://bugs.mysql.com/bug.php?id=791.
5. http://www.securiteam.com/unixfocus/5fp0t0u9fu.html.
6. http://www.securityfocus.com/bid/6120.
7. http://www.xatrix.org/advisory.php?s=7408.
8. www.mutt.org.
9. S. Chandra and P. M. Chen. Whither generic recovery from application faults? a fault study using open-source software. In DSN 2000.
10. J. Condit, M. Harren, S. McPeak, G. C. Necula, and W. Weimer. Ccured in the real world. In PLDI, pages 232-244, 2003.
11. C. Cowan, C. Pu, D. Maier, J. Walpole, P. Bakke, S. Beattie, A. Grier, P. Wagle, Q. Zhang, and H. Hinton. StackGuard: Automatic adaptive detection and prevention of buffer-overflow attacks. In USENIX Security, pages 63-78, 1998.
12. Y. A. Feldman and H. Schneider. Simulating reactive systems by deduction. ACMTOSEM, 2(2):128-175, 1993.
13. R. Hastings and B. Joyce. Purify: Fast detection of memory leaks and access errors. In USENIX, pages 125-138, 1991.
14. D. B. Johnson and W. Zwaenepoel. Recovery in distributed systems using optimistic message logging and checkpointing. In PODC, pages 171-181, 1988.
15. B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan. Bug isolation via remote program sampling. In PLDI, pages 141-154, 2003.
16. S. Lu, J. Tucek, F. Qin, and Y. Zhou. Avio: detecting atomicity violations via access interleaving invariants. In ASPLOS 2006.
17. S. Narayanasamy, G. Pokam, and B. Calder. Bugnet: Recording application-level execution for deterministic replay debugging. IEEE Micro, 26(1):100-109, 2006.
18. N. Nethercote and J. Seward. Valgrind: A program supervision framework. Electr. Notes Theor. Comput. Sci., 89(2), 2003.
19. F. Qin, S. Lu, and Y. Zhou. Safemem: Exploiting ecc-memory for detecting memory leaks and memory corruption during production runs. In HPCA, pages 291-302, 2005.
20. F. Qin, J. Tucek, J. Sundaresan, and Y. Zhou. Rx: treating bugs as allergies - a safe method to survive software failures. In SOSP 2005.
21. M. C. Rinard, C. Cadar, D. Dumitran, D. M. Roy, T. Leu, and W. S. Beebee. Enhancing server availability and security through failure-oblivious computing. In OSDI, pages 303-316, 2004.
22. M. Russinovich and B. Cogswell. Replay for concurrent non-deterministic shared memory applications. In PLDI 1996.
23. Y. Saito. Jockey: a user-space library for record-replay debugging. In AADEBUG, pages 69-76, 2005.
24. M. Xu, R. Bodik, and M. D. Hill. A "flight data recorder" for enabling full-system multiprocessor deterministic replay. In ISCA, pages 122-133, 2003.
25. X. Zhang, S. Tallam, and R. Gupta. Dynamic slicing long running programs through execution fast forwarding. In FSE 2006.