Patterns and statistical analysis for understanding reduced resource computing

ACM SIGPLAN Notices

Volumn 45, Issue 10, 2010, Pages 806-821

  Rinard, Martin ^a   Hoffmann, Henry ^a   Misailovic, Sasa ^a   Sidiroglou, Stelios ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Cyclic memory allocation; Discarding tasks; Loop perforation; Reduced resource computing; Statistical analysis

Indexed keywords

DISCARDING TASKS; LOOP PERFORATION; MEMORY ALLOCATION; REDUCED RESOURCE COMPUTING; STATISTICAL ANALYSIS;

BENCHMARKING;

STATISTICAL METHODS;

EID: 79551672736     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/1932682.1869525     Document Type: Conference Paper

References (33)

1. J. Ansel, C. Chan, Y. Wong, M. Olszewski, Q. Zhao, A. Edelman, and S. Amarasinghe. PetaBricks: a language and compiler for algorithmic choice. In PLDI'09.
2. W. Baek and T. Chilimbi. Green: A system for supporting energy-conscious programming using principled approximation. Technical Report TR-2009-089, Microsoft Research, Aug. 2009.
3. J. Berg, J. Tymoczko, and L. Stryer. Biochemistry. W. H. Freeman, 2006.
4. E. Berger and B. Zorn. DieHard: probabilistic memory safety for unsafe languages. In PLDI, June 2006.
5. C. Bienia, S. Kumar, J. P. Singh, and K. Li. The PARSEC benchmark suite: Characterization and architectural implications. In PACT'08.
6. E. Brewer. Towards robust distributed systems. Keynote, ACM Symposium on Principles of Distributed Systems (PODC), 2000.
7. R. Browning, T. Li, B. Chui, J. Ye, R. Pease, Z. Czyzewski, and D. Joy. Low-energy electron/atom elastic scattering cross sections from 0.1-30 keV. Scanning, 17(4), 1995.
8. B. Demsky, M. Ernst, P. Guo, S. McCamant, J. Perkins, and M. Rinard. Inference and enforcement of data structure consistency specifications. In ISSTA'06.
9. B. Demsky and M. Rinard. Automatic detection and repair of errors in data structures. In OOPSLA'03, 2003.
10. B. Demsky and M. Rinard. Data structure repair using goaldirected reasoning. In ICSE'05, 2005.
11. R. Floyd. Assigning meanings to programs. In Proceedings of the Symposium in Applied Mathematics, number 19, 1967.
12. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
13. J. Harris, S. Lazaratos, and R. Michelena. Tomographic string inversion. In Proceedings of the 60th Annual International Meeting, Society of Exploration and Geophysics, Extended abstract s, 1990.
14. C. A. R. Hoare. An axiomatic basis for computer programming. Commun. ACM, 12(10), 1969.
15. H. Hoffmann, J. Eastep, M. D. Santambrogio, J. E. Miller, and A. Agarwal. Application Heartbeats: A Generic Interface for Specifying Program Performance and Goals in Autonomous Computing Environments. In ICAC'10:7th International Conference on Autonomic Computing, 2010.
16. H. Hoffmann, S. Misailovic, S. Sidiroglou, A. Agarwal, and M. Rinard. Using Code Perforation to Improve Performance, Reduce Energy Consumption, and Respond to Failures. Technical Report MIT-CSAIL-TR-2009-042, MIT, Sept. 2009.
17. H. Hoffmann, S. Sidiroglou, M. Carbin, S. Misailovic, A. Agarwal, and M. Rinard. Power-Award Computing with Dynamic Knobs. Technical Report TR-2010-027, Computer Science and Artificial Intelligence Laboratory, MIT, Aug. 2010.
18. D. Le Gall. MPEG: A video compression standard for multimedia applications. CACM, Apr. 1991.
19. S. Misailovic, D. Kim, and M. Rinard. Parallelizing sequential programs with statistical accuracy tests. Technical Report TR-2010-038, Computer Science and Artificial Intelligence Laboratory, MIT, Aug. 2010.
20. S. Misailovic, S. Sidiroglou, H. Hoffman, and M. Rinard. Quality of service profiling. In ISCE'10.
21. H. Nguyen and M. Rinard. Detecting and eliminating memory leaks using cyclic memory allocation. In ISMM'07.
22. J. Perkins, S. Kim, S. Larsen, S. Amarasinghe, J. Bachrach, M. Carbin, C. Pacheco, F. Sherwood, S. Sidiroglou, G. Sullivan, W. Wong, Y. Zibin, M. Ernst, and M. Rinard. Automatically patching errors in deployed software. In SOSP'09.
23. M. Rinard. Probabilistic accuracy bounds for fault-tolerant computations that discard tasks. In ICS'06.
24. M. Rinard. Using early phase termination to eliminate load imbalancess at barrier synchronization points. In OOP-SLA'07.
25. M. Rinard. The Design, Implementation and Evaluation of Jade, a Portable, Implicitly Parallel Programming Language. PhD thesis, Stanford University, Department of Computer Science, 1994.
26. M. Rinard. Acceptability-oriented computing. In OOPSLA'03 Companion, Oct. 2003.
27. M. Rinard, C. Cadar, D. Dumitran, D. M. Roy, T. Leu, and J. William S. Beebee. Enhancing Server Availability and Security Through Failure-Oblivious Computing. In OSDI'04.
28. M. Rinard, D. Scales, and M. Lam. Jade: A high-level, machine-independent language for parallel programming. parallel computing, 29, 1993.
29. 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 04.
30. M. C. Rinard, C. Cadar, and H. H. Nguyen. Exploring the acceptability envelope. In OOPSLA'05 Companion.
31. K. Schmidt-Nielsen, R. Schroter, and A. Shkolnik. Desaturation of exhaled air in camels. Proceedings of the Royal Society of London, Series B, Biological Sciences, 211(1184), 1981.
32. S. Sidiroglou, O. Laadan, C. Perez, N. Viennot, J. Nieh, and A. D. Keromytis. Assure: automatic software self-healing using rescue points. In ASPLOS'09.
33. S. Sidiroglou, M. E. Locasto, S. W. Boyd, and A. D. Keromytis. Building a reactive immune system for software services. In USENIX'05.