Exploring the acceptability envelope

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

Volumn 2005-January, Issue , 2005, Pages 21-29

  Rinard, Martin ^a   Cadar, Cristian ^b   Nguyen, Huu Hai ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b STANFORD UNIVERSITY   (United States)

Author keywords

acceptability oriented computing; failure oblivious computing

Indexed keywords

ACCEPTABILITY ENVELOPES; ACCEPTABILITY-ORIENTED COMPUTING; CASE-STUDIES; CRITICAL REGION; CURRENT PRACTICES; DEVELOPMENT RESOURCES; EMAIL CLIENTS; FAILURE-OBLIVIOUS COMPUTING; POTENTIAL BENEFITS; SOFTWARE-SYSTEMS;

ERRORS;

EID: 85139558538     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1094855.1094866     Document Type: Conference Paper

References (28)

1. Pine website. http://www. washington. edu/pine/.
2. SurePlayer website. http://sureplayer. sourceforge. net/.
3. A. Aiken, J. S. Foster, J. Kodumal, and T. Terauchi. Checking and inferring local non-aliasing. In PLDI 2003, 2003.
4. T. Ball, R. Majumdar, T. Millstein, and S. K. Rajamani. Automatic predicate abstraction of C programs. In Proc. ACM PLDI, 2001.
5. M. Barnett, K. R. M. Leino, and W. Schulte. The Spec# programming system: An overview. In CASSIS 2004: International Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart devices, March 2004.
6. Chassin MR, Galvin RW. The urgent need to improve health care quality. Institute of Medicine National Roundtable on Health Care Quality. JAMA, 280 (11): 1000-5, September 1998.
7. M. Das, S. Lerner, and M. Seigle. ESP: Path-sensitive program verification in polynomial time. In Proc. ACM PLDI, 2002.
8. E. N. Adams. Optimizing preventing service of software products. IBM Journal of Research and Development, 28 (1), January 1984.
9. S. G. Eick, T. L. Graves, A. F. Karr, J. S. Marron, and A. Mockus. Does code decay? assessing the evidence from change management data. TSE, 27 (1): 1-12, Jan. 2001.
10. D. Engler and M. Musuvathi. Static analysis versus software model checking for bug finding. In VMCAI, 2004.
11. C. Flanagan, K. R. M. Leino, M. Lilibridge, G. Nelson, J. B. Saxe, and R. Stata. Extended Static Checking for Java. In Proc. ACM PLDI, 2002.
12. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, Mass., 1994.
13. George Candea, Shinichi Kawamoto, Yuichi Fujiki, Greg Friedman, Armando Fox. Microreboot-a technique for cheap recovery. In Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI), San Francisco, CA, USA, December 2004.
14. C. Ghezzi, M. Jazayeri, and D. Mandrioli. Fundamentals of Software Engineering. Prentice-Hall, 1991.
15. D. Hovemeyer and W. Pugh. Finding bugs is easy. In OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, pages 132-136, New York, NY, USA, 2004. ACM Press.
16. D. Jackson. Alloy: A lightweight object modelling notation. ACM TOSEM, 11 (2): 256-290, 2002.
17. J. C. King. A Program Verifier. PhD thesis, CMU, 1970.
18. L. A. Belady, M. M. Lehman. A model of large program development. IBM Systems Journal, 15 (3): 225-252, 1976.
19. P. Lam, V. Kuncak, and M. Rinard. On our experience with modular pluggable analyses. Technical Report 965, MIT CSAIL, September 2004.
20. P. Lam, V. Kuncak, and M. Rinard. Generalized typestate checking for data structure consistency. In 6th International Conference on Verification, Model Checking and Abstract Interpretation, 2005.
21. T. Lev-Ami, T. Reps, M. Sagiv, and R. Wilhelm. Putting static analysis to work for verification: A case study. In International Symposium on Software Testing and Analysis, 2000.
22. Martin Rinard. Acceptability-oriented computing. In OOPSLA '03: Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 221-239, New York, NY, USA, 2003. ACM Press.
23. Martin Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, and William S. Beebee, Jr. Enhancing server availability and security through failure-oblivious computing. In Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI), San Francisco, CA, USA, December 2004.
24. G. Nelson. Techniques for program verification. Technical report, XEROX Palo Alto Research Center, 1981.
25. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modelling Language Reference Manual. Addison-Wesley, Reading, Mass., 1999.
26. F. Vivien and M. Rinard. Incrementalized pointer and escape analysis. In Proc. ACM PLDI, June 2001.
27. J. M. Voas and G. McGraw. Software Fault Injection. Wiley, 1998.
28. Y. Xie and A. Aiken. Scalable error detection using boolean satisfiability. POPL'05, 2005.