Proceedings of the Ninth International Symposium on Code Generation and Optimization
CGO, 2011.

@proceedings{CGO-2011,
	acmid         = "2190025",
	address       = "Chamonix, France",
	ee            = "http://www.computer.org/csdl/proceedings/cgo/2011/4356/00/index.html",
	isbn          = "978-1-61284-356-8",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the Ninth International Symposium on Code Generation and Optimization}",
	year          = 2011,
}

Contents (30 items)

7 ×#optimisation
6 ×#compilation
4 ×#analysis
4 ×#automation
3 ×#locality
3 ×#manycore
3 ×#named
3 ×#performance
2 ×#memory management
2 ×#parallel

CGO-2011-Altman #tool support

The language, optimizer, and tools mess (ERA).

CGO-2011-Leroy #compilation #how #question #verification #why

Formally verifying a compiler: Why? How? How far? (XL).

CGO-2011-HundtRTV #architecture #named

MAO — An extensible micro-architectural optimizer (RH, ER, MT, NV), pp. 1–10.

CGO-2011-SondagR #manycore #symmetry

Phase-based tuning for better utilization of performance-asymmetric multicore processors (TS, HR), pp. 11–20.

CGO-2011-LiWH #stack

Dynamic register promotion of stack variables (JL, CW, WCH), pp. 21–31.

CGO-2011-JonesBMC #optimisation #performance

Link-time optimization for power efficiency in a tagless instruction cache (TMJ, SB, JM, DC), pp. 32–41.

CGO-2011-ChakrabartiBBJS #graph #memory management #optimisation #runtime #transaction

The runtime abort graph and its application to software transactional memory optimization (DRC, PB, HJB, PGJ, RSS), pp. 42–53.

CGO-2011-BorinWBW #commit #named #scalability

LAR-CC: Large atomic regions with conditional commits (EB, YW, MBJ, CW), pp. 54–63.

CGO-2011-HertzbergO #automation #parallel #runtime

Runtime automatic speculative parallelization (BH, KO), pp. 64–73.

CGO-2011-MehraraM #execution #web

Dynamically accelerating client-side web applications through decoupled execution (MM, SAM), pp. 74–84.

CGO-2011-AnselWCOEA #algorithm #compilation

Language and compiler support for auto-tuning variable-accuracy algorithms (JA, YLW, CPC, MO, AE, SPA), pp. 85–96.

CGO-2011-Yi #automation #compilation #optimisation #programmable

Automated programmable control and parameterization of compiler optimizations (QY), pp. 97–106.

CGO-2011-CuiXWYFF #optimisation

Extendable pattern-oriented optimization directives (HC, JX, LW, YY, XF, DF), pp. 107–118.

CGO-2011-ParkPCCS #modelling #optimisation #predict

Predictive modeling in a polyhedral optimization space (EP, LNP, JC, AC, PS), pp. 119–129.

CGO-2011-LeeT #automation #fine-grained #parallel

Automatic parallelization of fine-grained meta-functions on a chip multiprocessor (SL, JT), pp. 130–140.

CGO-2011-KarrenbergH

Whole-function vectorization (RK, SH), pp. 141–150.

CGO-2011-NuzmanDRRWYCZ

Vapor SIMD: Auto-vectorize once, run everywhere (DN, SD, ER, IR, KW, DY, AC, AZ), pp. 151–160.

CGO-2011-LiuZDK #manycore #scheduling

On-chip cache hierarchy-aware tile scheduling for multicore machines (JL, YZ, WD, MTK), pp. 161–170.

CGO-2011-LiuM #analysis #locality #problem #using

Pinpointing data locality problems using data-centric analysis (XL, JMMC), pp. 171–180.

CGO-2011-RusAL #automation #distance #locality #optimisation #reuse #string

Automated locality optimization based on the reuse distance of string operations (SR, RA, DXL), pp. 181–190.

CGO-2011-KandemirZLY #locality #multi #optimisation

Neighborhood-aware data locality optimization for NoC-based multicores (MTK, YZ, JL, TY), pp. 191–200.

CGO-2011-XieX #detection #named #performance

Acculock: Accurate and efficient detection of data races (XX, JX), pp. 201–212.

CGO-2011-BrueningZ #memory management

Practical memory checking with Dr. Memory (DB, QZ), pp. 213–223.

CGO-2011-NewburnSLMGTWDCWGLZ #array #compilation #embedded

Intel’s Array Building Blocks: A retargetable, dynamic compiler and embedded language (CJN, BS, ZL, MDM, AMG, SDT, ZGW, ZD, YC, GW, PG, ZL, DZ), pp. 224–235.

CGO-2011-WuHBW #energy #manycore #virtual machine

A HW/SW co-designed heterogeneous multi-core virtual machine for energy-efficient general purpose computing (YW, SH, EB, CW), pp. 236–245.

CGO-2011-InoueHWN #compilation #java #jit

A trace-based Java JIT compiler retrofitted from a method-based compiler (HI, HH, PW, TN), pp. 246–256.

CGO-2011-SanchezASPS #compilation #using

Using machines to learn method-specific compilation strategies (RNS, JNA, DS, MP, MGS), pp. 257–266.

CGO-2011-NasreG #analysis #constraints #evaluation #performance #points-to

Prioritizing constraint evaluation for efficient points-to analysis (RN, RG), pp. 267–276.

CGO-2011-GreathouseLAB #analysis #data flow #distributed #scalability

Highly scalable distributed dataflow analysis (JLG, CL, TMA, VB), pp. 277–288.

CGO-2011-HardekopfL #analysis #pointer

Flow-sensitive pointer analysis for millions of lines of code (BH, CL), pp. 289–298.