Probabilistic accuracy bounds for perforated programs: A new foundation for program analysis and transformation

PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

Volumn , Issue , 2011, Pages 79-80

  Rinard, Martin ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Loop perforation; Program analysis

Indexed keywords

EID: 79952177522     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1929501.1929517     Document Type: Conference Paper

References (10)

1. C. Bienia, S. Kumar, J. P. Singh, and K. Li. The PARSEC benchmark suite: Characterization and architectural implications. In PACT-2008: Proceedings of the 17th International Conference on Parallel Architectures and Compilation Techniques, Oct 2008.
2. J. Hartigan and M. Wong. A k-means clustering algorithm. JR Stat. Soc., Ser. C, 28:100-108, 1979.
3. H. Hoffman, S. Misailovic, S. Sidiroglou, A. Agarwal, and M. Rinard. Using Code Perforation to Improve Performance, Reduce Energy Consumption, and Respond to Failures. Technical Report TR-2009-042, Computer Science and Artificial Intelligence Laboratory, MIT, Sept. 2009.
4. H. Hoffmann, S. Sidiroglou, M. Carbin, S. Misailovic, A. Agarwal, and M. Rinard. Power-Aware Computing with Dynamic Knobs. Technical Report TR-2010-027, MIT CSAIL, May 2010.
5. M. Kalos and P. Whitlock. Monte carlo methods. Wiley-VCH, 2008. ISBN 352740760X.
6. S. Misailovic, S. Sidiroglou, H. Hoffmann, and M. Rinard. Quality of service profiling. In Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering-Volume 1. ACM, 2010.
7. M. Rinard. Using early phase termination to eliminate load imbalancess at barrier synchronization points. In Proceedings of the 2007 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, Oct. 2007.
8. M. Rinard. Probabilistic accuracy bounds for fault-tolerant computations that discard tasks. In Proceedings of the 20th Annual International Conference on Supercomputing, 2006.
9. M. Rinard, H. Hoffmann, S. Misailovic, and S. Sidiroglou. Patterns and statistical analysis for understanding reduced resource computing. In Proceedings of Onward! 2010, Oct. 2010.
10. x264. http://www.videolan.org/x264.html.