Jens Knoop
Proceedings of the 20th International Conference on Compiler Construction
CC, 2011.

@proceedings{CC-2011,
	address       = "Saarbrücken, Germany",
	doi           = "10.1007/978-3-642-19861-8",
	editor        = "Jens Knoop",
	isbn          = "978-3-642-19860-1",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 20th International Conference on Compiler Construction}",
	volume        = 6601,
	year          = 2011,
}

Contents (16 items)

5 ×#analysis
3 ×#parallel
3 ×#using
2 ×#array
2 ×#compilation
2 ×#java

CC-2011-Odersky #parallel #persistent

Future-Proofing Collections: From Mutable to Persistent to Parallel (MO), p. 1.

CC-2011-SolGPB #compilation #testing

Dynamic Elimination of Overflow Tests in a Trace Compiler (RS, CG, FMQP, MAdSB), pp. 2–21.

CC-2011-LameedH #array #compilation #jit #matlab #semantics #staged

Staged Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT Compiler (NL, LJH), pp. 22–41.

CC-2011-BuchwaldZB

SSA-Based Register Allocation with PBQP (SB, AZ, TB), pp. 42–61.

CC-2011-SunZC #analysis #java #points-to #probability

Probabilistic Points-to Analysis for Java (QS, JZ, YC), pp. 62–81.

CC-2011-NaeemL #alias #analysis #performance #set #summary #using

Faster Alias Set Analysis Using Summaries (NAN, OL), pp. 82–103.

CC-2011-Pearce #composition #java #named

JPure: A Modular Purity System for Java (DJP), pp. 104–123.

CC-2011-RimsadP #analysis #source code

Tainted Flow Analysis on e-SSA-Form Programs (AR, Md, FMQP), pp. 124–143.

CC-2011-Axelsen #imperative #programming language

Clean Translation of an Imperative Reversible Programming Language (HBA), pp. 144–163.

CC-2011-Brunthaler #interpreter #scheduling

Interpreter Instruction Scheduling (SB), pp. 164–178.

CC-2011-RodriguezL #analysis #data flow #parallel

Actor-Based Parallel Dataflow Analysis (JR, OL), pp. 179–197.

CC-2011-JenistaED #parallel #reachability #using

Using Disjoint Reachability for Parallelization (JCJ, YHE, BD), pp. 198–224.

CC-2011-HenrettySPFRS #architecture #layout

Data Layout Transformation for Stencil Computations on Short-Vector SIMD Architectures (TH, KS, LNP, FF, JR, PS), pp. 225–245.

CC-2011-JoynerBS #analysis #array #bound

Subregion Analysis and Bounds Check Elimination for High Level Arrays (MJ, ZB, VS), pp. 246–265.

CC-2011-MaKA #memory management #multi

Practical Loop Transformations for Tensor Contraction Expressions on Multi-level Memory Hierarchies (WM, SK, GA), pp. 266–285.

CC-2011-GreweO #approach #clustering #using

A Static Task Partitioning Approach for Heterogeneous Systems Using OpenCL (DG, MFPO), pp. 286–305.