Compiler constructions : 19th international conference, CC 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings

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. 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 - This book constitutes the proceedings of the 24th International Conference on Compiler Construction, CC 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, in London, UK, in April 2015.The 11 papers presented in this volume were carefully reviewed and selected from 34 submissions.