Chapter 5 Optimizing Program Performance The biggest speedup you’ll ever get with a program will be when you first get it working. John K. Ousterhout The primary objective in writing a program must be to make it work

Source URL: csapp.cs.cmu.edu

• Software engineering
• Computing
• Compiler optimizations
• Software
• Compiler construction
• Programming language implementation
• Program analysis
• Data types
• Optimizing compiler
• Program optimization
• Compiler
• Loop unrolling

Copyright 1999 IEEE. Published in the Proceedings of the Thirty-Third Asilomar Conference on Signals, Systems, and Computers, October, Pacific Grove, CA, USA. Real-Time High-Throughput Sonar Beamforming Kernel

Source URL: bevo.duckdns.org

• Computer architecture
• Computing
• Computer engineering
• Compiler optimizations
• Software pipelining
• Optimizing compiler
• UltraSPARC
• Loop unrolling
• SPARC
• Visual Instruction Set
• Microarchitecture
• 64-bit computing

Automated Empirical Optimization of High Performance Floating Point Kernels R. Clint Whaley University of Texas, San Antonio and David B. Whalley

Source URL: www.cs.rice.edu

• Software
• Computing
• Numerical linear algebra
• Numerical software
• Compiler optimizations
• Automatically Tuned Linear Algebra Software
• Basic Linear Algebra Subprograms
• Kernel
• Mathematical optimization
• Program optimization
• Static single assignment form
• Loop unrolling

A Fixed-Point Algorithm for Automated Static Detection of Infinite Loops Andreas Ibing, Alexandra Mai Chair for IT Security TU M¨unchen Boltzmannstrasse 3, 85748 Garching, Germany {ibing,mai}@sec.in.tum.de

Source URL: www.sec.in.tum.de

• Recursion
• Theoretical computer science
• Formal methods
• Compiler optimizations
• Infinite loop
• Satisfiability modulo theories
• Control flow
• For loop
• Algorithm
• Termination analysis
• Loop unrolling
• Satisfiability

Microsoft PowerPoint - software-pipelining-powerpoint-2003.ppt [Compatibility Mode]

Source URL: mesl.ucsd.edu

• Compiler optimizations
• Software pipelining
• Optimizing compiler
• Dependence analysis
• Loop optimization
• Loop invariant
• Interpretation
• Program optimization
• Loop unswitching
• Polytope model
• Loop unrolling
• Loop interchange

CLAPP: Characterizing Loops in Android Applications Yanick Fratantonio Aravind Machiry Antonio Bianchi

Source URL: gswc.cs.ucsb.edu

• Compiler optimizations
• Compiler construction
• Parallel computing
• Real-time computing
• Worst-case execution time
• Optimizing compiler
• Infinite loop
• Loop unrolling
• Termination analysis
• Android

Vertical and Horizontal Beamforming Kernels with AltiVec Technology Young H. Cho*, David Brunke*, Greg E. Allen*, and Brian L. Evans** The University of Texas at Austin Austin, TXU.S.A

Source URL: users.ece.utexas.edu

• Sonar
• Sensor array
• Sensors
• Beamforming
• Compiler optimizations
• Loop unrolling
• AltiVec

Javanni: A Verifier for JavaScript Martin Nordio1 , Cristiano Calcagno2 , and Carlo A. Furia1 1 2

Source URL: se.inf.ethz.ch

• Software engineering
• Computer programming
• Computing
• Compiler optimizations
• Cross-platform software
• Scripting languages
• Logic in computer science
• JavaScript
• Separation logic
• Inline expansion
• Correctness
• Loop unrolling

Affine Loop Optimization using Modulo Unrolling in CHAPEL Aroon Sharma, Darren Smith, Joshua Koehler, Rajeev Barua, Michael Ferguson

Source URL: chapel.cray.com

A Framework for Enhancing Data Reuse via Associative Reordering Kevin Stock1 Louis-No¨el Pouchet3 1

Source URL: www.grosser.es

• Software engineering
• Computer programming
• Compiler optimizations
• Computing
• Stencil code
• Loop optimization
• For loop
• Polytope model
• Optimizing compiler
• OpenMP
• Loop unrolling
• Foreach loop