Acceptability-oriented computing

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

Volumn , Issue , 2003, Pages 221-239

  Rinard, Martin ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Acceptability properties; Monitoring; Rectification; Repair

Indexed keywords

ACCEPTABILITY PROPERTIES; ENGINEERING RESOURCES; NEW APPROACHES; OPERATING ENVIRONMENT; RECTIFICATION; RESILIENT SYSTEMS; SOFTWARE SYSTEMS;

COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; ERRORS;

OBJECT ORIENTED PROGRAMMING;

EID: 67249139196     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/949344.949402     Document Type: Conference Paper

References (23)

1. A. V. Aho, R. Sethi, and J. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, MA, second edition, 1986.
2. A. Alexandrov, M. Ibel, K. Schauser, and C. Scheiman. UFO: A personal global file system based on user-level extensions to the operating system. ACM Transactions on Computer Systems, 16(3):207-233, August 1998. (Pubitemid 128449961)
3. Susan Brilliant, John Knight, and Nancy Leveson. Analysis of faults in an n-version software experiment. IEEE Transactions on Software Engineering, SE-16(2), February 1990.
4. George Candea and Armando Fox. Recursive restartability: Turning the reboot sledgehammer into a scalpel. In Proceedings of the 8th Workshop on Hot Topics in Operating Systems (HotOS-VIII), pages 110-115, Schloss Elmau, Germany, May 2001.
5. Stefano Ceri, Piero Fraternali, Stefano Paraboschi, and Letizia Tanca. Automatic generation of production rules for integrity maintenance. ACM Transactions on Database Systems, 19(3), September 1994.
6. Stefano Ceri and Jennifer Widom. Deriving production rules for constraint maintenance. In Proceedings of 1990 VLDB Conference, pages 566-577, Brisbane, Queensland, Australia, August 1990.
7. J. Darley and B. Latane. Bystander intervention in emergencies: Diffusion of responsibility. Journal of Personality and Social Psychology, pages 377-383, August 1968.
8. W. Edwards Deming. Out of the Crisis. MIT Press, 2000.
9. B. Demsky and M. Rinard. Role-based exploration of object-oriented programs. In Proceedings of the 2002 International Conference on Software Engineering, Orlando, Florida, May 2002.
10. Brian Demsky and Martin Rinard. Automatic detection and repair of errors in data structures. In Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '03), Anaheim, California, November 2003.
11. Michael D. Ernst, Adam Czeisler, William G. Griswold, and David Notkin. Quickly detecting relevant program invariants. In International Conference on Software Engineering, pages 449-458, 2000.
12. Jim Gray and Andreas Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, 1993.
13. G. Haugk, F.M. Lax, R.D. Royer, and J.R. Williams. The 5ESS(TM) switching system: Maintenance capabilities. AT&T Technical Journal, 64(6 part 2):1385-1416, July-August 1985.
14. T. Kay and J. Kajiya. Ray tracing complex scenes. Computer Graphics (Proceedings of SIGGRAPH '86), 20(4):269-78, August 1986.
15. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J. Longtier, and J. Irwin. Aspect-oriented programming. In Proceedings of the 11th European Conference on Object-Oriented Programming, Jyvaskyla, Finland, June 1997.
16. J. Larus and E. Schnarr. EEL: Machine-independent executable editing. In Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation (PLDI), San Diego, California, June 1995.
17. B. Latane and J. Darley. Group inhibition of bystander intervention in emergencies. Journal of Personality and Social Psychology, pages 215-221, October 1968.
18. Samiha Mourad and Dorothy Andrews. On the reliability of the IBM MVS/XA operating system. IEEE Transactions on Software Engineering, September 1987.
19. P. Plauger. Chocolate. Embedded Systems Programming, 7(3):81-84, March 1994.
20. M. Rinard and D. Marinov. Credible compilation with pointers. In Proceedings of the Workshop on Run-Time Result Verification, Trento, Italy, July 1999.
21. Martin Rinard. Credible compilation. Technical Report MIT-LCS-TR-776, Laboratory for Computer Science, Massachusetts Institute of Technology, March 1999.
22. Susan D. Urban and Louis M.L. Delcambre. Constraint analysis: A design process for specifying operations on objects. IEEE Transactions on Knowledge and Data Engineering, 2(4), December 1990.
23. James Womack, Daniel Jones, and Daniel Roos. The Machine that Changed the World: the Story of Lean Production. Harper Collins, 1991.