Compiler Construction

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

344 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

Invited Talk.- Programming Clouds.- Optimization Techniques.- Mining Opportunities for Code Improvement in a Just-In-Time Compiler.- Unrestricted Code Motion: A Program Representation and Transformation Algorithms Based on Future Values.- Optimizing Matlab through Just-In-Time Specialization.- RATA: Rapid Atomic Type Analysis by Abstract Interpretation - Application to JavaScript Optimization.- Program Transformations.- JReq: Database Queries in Imperative Languages.- Verifying Local Transformations on Relaxed Memory Models.- Program Analysis.- Practical Extensions to the IFDS Algorithm.- Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs.- Register Allocation.- Punctual Coalescing.- Strategies for Predicate-Aware Register Allocation.- Preference-Guided Register Assignment.- High-Performance Systems.- Validating Register Allocation and Spilling.- Automatic C-to-CUDA Code Generation for Affine Programs.- Is Reuse Distance Applicable to Data Locality Analysis on Chip Multiprocessors?.- The Polyhedral Model Is More Widely Applicable Than You Think.- The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Theoretische Informatik
• ISBN: 9783642119699
• Sprache: Englisch
• Erscheinungsdatum: 16.03.2010
• Größe: 235 x 155 mm
• Verlag: Springer Spektrum
• Herausgegeben von: Rajiv Gupta