Obtaining and reasoning about good enough software

Proceedings - Design Automation Conference

Volumn , Issue , 2012, Pages 930-935

  Rinard, Martin ^a  

^a Department of Electrical Engineering and Computer Science   (United States)

Author keywords

error; fault; recovery

Indexed keywords

EXECUTION PATHS; FAULT; RELIABILITY AND ROBUSTNESS; SOFTWARE SYSTEMS; STATISTICAL REASONING; TRADE OFF;

ERRORS; RECOVERY;

COMPUTER AIDED DESIGN;

EID: 84863548604     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2228360.2228526     Document Type: Conference Paper

References (23)

1. H. Boehm and S. Adve. You don't know jack about shared variables or memory models. Commun. ACM, 55(2), 2012.
2. M. Carbin and M. C. Rinard. Automatically identifying critical input regions and code in applications. In ISSTA, pages 37-48, 2010.
3. M. Carbin, S. Misailovic, M. Kling, and M. C. Rinard. Detecting and escaping infinite loops with jolt. In ECOOP, pages 609-633, 2011.
4. B. Demsky and M. C. Rinard. Automatic detection and repair of errors in data structures. In OOPSLA, pages 78-95, 2003.
5. B. Demsky and M. C. Rinard. Data structure repair using goal-directed reasoning. In ICSE, pages 176-185, 2005.
6. B. Demsky and M. C. Rinard. Goal-directed reasoning for specification-based data structure repair. IEEE Trans. Software Eng., 32(12):931-951, 2006. (Pubitemid 46437702)
7. J. L. Lions. Ariane 5 flight 501 failure report by the inquiry board, July 1996. URL http://www.di.unito.it/ damiani/ariane5rep.html.
8. F. Long, V. Ganesh, M. Carbin, S. Sidiroglou, and M. Rinard. Automatic input rectification. In ICSE, 2012.
9. S. Misailovic, D. Kim, and M. Rinard. Parallelizing sequential programs with statistical accuracy tests. Technical Report MIT-CSAIL-TR-2010-038, MIT, 2010.
10. S. Misailovic, S. Sidiroglou, H. Hoffmann, and M. C. Rinard. Quality of service profiling. In ICSE (1), pages 25-34, 2010.
11. S. Misailovic, D. Roy, and M. Rinard. Probabilistic and statistical analysis of perforated patterns. Technical Report MIT-CSAIL-TR-2011-003, MIT, 2011.
12. S. Misailovic, D. M. Roy, and M. C. Rinard. Probabilistically accurate program transformations. In SAS, pages 316-333, 2011.
13. H. H. Nguyen and M. C. Rinard. Detecting and eliminating memory leaks using cyclic memory allocation. In ISMM, pages 15-30, 2007.
14. G. Novark, E. Berger, and B. Zorn. Exterminator: Automatically correcting memory errors with high probability. In PLDI, 2007.
15. M. Rinard. A lossy, synchronization-free, race-full, but still acceptably accurate parallel space-subdivision tree construction algorithm. Technical Report MIT-CSAIL-TR-2012-005, MIT, 2012.
16. M. C. Rinard. Probabilistic accuracy bounds for fault-tolerant computations that discard tasks. In ICS, pages 324-334, 2006.
17. M. C. Rinard. Using early phase termination to eliminate load imbalances at barrier synchronization points. In OOPSLA, pages 369-386, 2007.
18. M. C. Rinard. Living in the comfort zone. In OOPSLA, pages 611-622, 2007.
19. M. C. Rinard, C. Cadar, D. Dumitran, D. M. Roy, and T. Leu. A dynamic technique for eliminating buffer overflow vulnerabilities (and other memory errors). In ACSAC, pages 82-90, 2004.
20. 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.
21. M. C. Rinard, C. Cadar, and H. H. Nguyen. Exploring the acceptability envelope. In OOPSLA Companion, pages 21-30, 2005.
22. S. Sidiroglou-Douskos, S. Misailovic, H. Hoffmann, and M. C. Rinard. Managing performance vs. accuracy tradeoffs with loop perforation. In SIGSOFT FSE, pages 124-134, 2011.
23. Z. A. Zhu, S. Misailovic, J. A. Kelner, and M. C. Rinard. Randomized accuracy-aware program transformations for efficient approximate computations. In POPL, pages 441-454, 2012.