This book constitutes the refereed proceedings of the 19th International Conference on Compiler Construction, CC 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the Joint European Conferences on Theory and Practice of Software. Following a thorough review process, 16 research papers were selected from 56 submissions. Topics covered include optimization techniques, program transformations, program analysis, register allocation, and high-performance systems.
Author(s): James Larus (auth.), Rajiv Gupta (eds.)
Series: Lecture Notes in Computer Science 6011 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2010
Language: English
Pages: 326
Tags: Software Engineering; Programming Languages, Compilers, Interpreters; Programming Techniques; Mathematical Logic and Formal Languages; Computer Communication Networks; Algorithm Analysis and Problem Complexity
Front Matter....Pages -
Programming Clouds....Pages 1-9
Mining Opportunities for Code Improvement in a Just-In-Time Compiler....Pages 10-25
Unrestricted Code Motion: A Program Representation and Transformation Algorithms Based on Future Values....Pages 26-45
Optimizing Matlab through Just-In-Time Specialization....Pages 46-65
RATA: Rapid Atomic Type Analysis by Abstract Interpretation – Application to JavaScript Optimization....Pages 66-83
JReq: Database Queries in Imperative Languages....Pages 84-103
Verifying Local Transformations on Relaxed Memory Models....Pages 104-123
Practical Extensions to the IFDS Algorithm....Pages 124-144
Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs....Pages 145-164
Punctual Coalescing....Pages 165-184
Strategies for Predicate-Aware Register Allocation....Pages 185-204
Preference-Guided Register Assignment....Pages 205-223
Validating Register Allocation and Spilling....Pages 224-243
Automatic C-to-CUDA Code Generation for Affine Programs....Pages 244-263
Is Reuse Distance Applicable to Data Locality Analysis on Chip Multiprocessors?....Pages 264-282
The Polyhedral Model Is More Widely Applicable Than You Think....Pages 283-303
The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations....Pages 304-323
Back Matter....Pages -
