Exploiting GPU Hardware Saturation for Fast Compiler Optimization Alberto Magni Christophe Dubach

Source URL: homepages.inf.ed.ac.uk

A Compiler for Throughput Optimization of Graph Algorithms on GPUs There is growing interest in raising the abstraction level for GPU programmers through the use of high-level programming notations and compiler technolog

Source URL: users.ices.utexas.edu

IBM Research - Tokyo Optimization of X10 Programs with ROSE Compiler Infrastructure Michihiro Horie†, Mikio Takeuchi†, Kiyokuni Kawachiya†, David Grove‡ †IBM Research - Tokyo

Source URL: x10.sourceforge.net

Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA

Source URL: peek.uwplse.org

• Computing
• Software engineering
• Software
• Compiler optimizations
• Programming language implementation
• Compiler construction
• Formal methods
• Logic in computer science
• CompCert
• Low-level programming language
• Peephole optimization
• Formal verification

Precise Automatable Analytical Modeling of the Cache Behavior of Codes with Indirections ´ DOALLO DIEGO ANDRADE, BASILIO B. FRAGUELA, and RAMON Universidade da Coruna

Source URL: www.des.udc.es

• Software engineering
• Computer programming
• Computing
• Compiler optimizations
• Cache
• Computer memory
• Locality of reference
• Software optimization
• Optimizing compiler
• For loop
• Infinite loop
• Ada

Static Prediction of Worst-case Data Cache Performance in the Absence of Base Address Information Diego Andrade, Basilio B. Fraguela and Ram´on Doallo University of A Coru˜na, Spain {dcanosa,basilio,doallo}@udc.es

Source URL: www.des.udc.es

• Cache
• Compiler optimizations
• Computing
• Computer architecture
• Computer memory
• Computer engineering
• Locality of reference
• Software optimization
• Cache replacement policies
• Loop optimization
• Memory hierarchy
• Loop interchange

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

CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2007; 19:2407–2423 Prepared using cpeauth.cls [Version: v2.02] Automated and accurate cache behavior analysis for

Source URL: www.des.udc.es

• Software engineering
• Computer programming
• Computing
• Cache
• Computer memory
• Compiler optimizations
• Software optimization
• Compiler construction
• Optimizing compiler
• Infinite loop
• Trie
• Cache memory

Auto-tuning the 27-point Stencil for Multicore Kaushik Datta2 , Samuel Williams1 , Vasily Volkov2 , Jonathan Carter1 , Leonid Oliker1 , John Shalf1 , and Katherine Yelick1 1 CRD/NERSC, Lawrence Berkeley National Laborat

Source URL: iwapt.org

• Compiler optimizations
• Computing
• Software engineering
• Software
• Loop nest optimization
• Stencil code
• Roofline model
• Stencil
• Program optimization
• Common subexpression elimination
• CPU cache
• Scalable locality

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