Rajiv Gupta
Proceedings of the 19th International Conference on Compiler Construction
CC, 2010.

@proceedings{CC-2010,
	address       = "Paphos, Cyprus",
	doi           = "10.1007/978-3-642-11970-5",
	editor        = "Rajiv Gupta",
	isbn          = "978-3-642-11969-9",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 19th International Conference on Compiler Construction}",
	volume        = 6011,
	year          = 2010,
}

Contents (17 items)

3 ×#optimisation
2 ×#algorithm
2 ×#analysis
2 ×#named
2 ×#source code

CC-2010-Larus #programming

Programming Clouds (JRL), pp. 1–9.

CC-2010-JockschMSGA #compilation #mining

Mining Opportunities for Code Improvement in a Just-In-Time Compiler (AJ, MM, JS, NG, JNA), pp. 10–25.

CC-2010-DingO #algorithm #representation #strict

Unrestricted Code Motion: A Program Representation and Transformation Algorithms Based on Future Values (SD, SÖ), pp. 26–45.

CC-2010-Chevalier-BoisvertHV #matlab #optimisation

Optimizing Matlab through Just-In-Time Specialization (MCB, LJH, CV), pp. 46–65.

CC-2010-LogozzoV #abstract interpretation #agile #analysis #javascript #named #optimisation

RATA: Rapid Atomic Type Analysis by Abstract Interpretation — Application to JavaScript Optimization (FL, HV), pp. 66–83.

CC-2010-IuCZ #database #imperative #named #query

JReq: Database Queries in Imperative Languages (MYI, EC, WZ), pp. 84–103.

CC-2010-BurckhardtMS #memory management #modelling #verification

Verifying Local Transformations on Relaxed Memory Models (SB, MM, VS), pp. 104–123.

CC-2010-NaeemLR #algorithm

Practical Extensions to the IFDS Algorithm (NAN, OL, JR), pp. 124–144.

CC-2010-CraikK #object-oriented #parallel #source code #using

Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs (AC, WK), pp. 145–164.

CC-2010-PereiraP

Punctual Coalescing (FMQP, JP), pp. 165–184.

CC-2010-Hoflehner

Strategies for Predicate-Aware Register Allocation (GH), pp. 185–204.

CC-2010-BraunMH

Preference-Guided Register Assignment (MB, CM, SH), pp. 205–223.

CC-2010-RideauL #validation

Validating Register Allocation and Spilling (SR, XL), pp. 224–243.

CC-2010-BaskaranRS #automation #code generation #source code

Automatic C-to-CUDA Code Generation for Affine Programs (MMB, JR, PS), pp. 244–263.

CC-2010-JiangZTS #analysis #distance #locality #multi #question #reuse

Is Reuse Distance Applicable to Data Locality Analysis on Chip Multiprocessors? (YJ, EZZ, KT, XS), pp. 264–282.

CC-2010-BenabderrahmanePCB

The Polyhedral Model Is More Widely Applicable Than You Think (MWB, LNP, AC, CB), pp. 283–303.

CC-2010-RoyS #optimisation

The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations (SR, YNS), pp. 304–323.