Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Rajiv Gupta

    1. Department of Computer Science and Engineering, University of California Riverside, Riverside, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6011)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: CC 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talk

    1. Programming Clouds

      • James Larus
      Pages 1-9

  3. Optimization Techniques

    1. Mining Opportunities for Code Improvement in a Just-In-Time Compiler

      • Adam Jocksch, Marcel Mitran, Joran Siu, Nikola Grcevski, José Nelson Amaral
      Pages 10-25

    2. Unrestricted Code Motion: A Program Representation and Transformation Algorithms Based on Future Values

      • Shuhan Ding, Soner Önder
      Pages 26-45

    3. Optimizing Matlab through Just-In-Time Specialization

      • Maxime Chevalier-Boisvert, Laurie Hendren, Clark Verbrugge
      Pages 46-65

    4. RATA: Rapid Atomic Type Analysis by Abstract Interpretation – Application to JavaScript Optimization

      • Francesco Logozzo, Herman Venter
      Pages 66-83

  4. Program Transformations

    1. JReq: Database Queries in Imperative Languages

      • Ming-Yee Iu, Emmanuel Cecchet, Willy Zwaenepoel
      Pages 84-103

    2. Verifying Local Transformations on Relaxed Memory Models

      • Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh
      Pages 104-123

  5. Program Analysis

    1. Practical Extensions to the IFDS Algorithm

      • Nomair A. Naeem, OndÅ™ej Lhoták, Jonathan Rodriguez
      Pages 124-144

    2. Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs

      • Andrew Craik, Wayne Kelly
      Pages 145-164

  6. Register Allocation

    1. Punctual Coalescing

      • Fernando Magno Quintão Pereira, Jens Palsberg
      Pages 165-184

    2. Strategies for Predicate-Aware Register Allocation

      • Gerolf F. Hoflehner
      Pages 185-204

    3. Preference-Guided Register Assignment

      • Matthias Braun, Christoph Mallon, Sebastian Hack
      Pages 205-223

  7. High-Performance Systems

    1. Validating Register Allocation and Spilling

      • Silvain Rideau, Xavier Leroy
      Pages 224-243

    2. Automatic C-to-CUDA Code Generation for Affine Programs

      • Muthu Manikandan Baskaran, J. Ramanujam, P. Sadayappan
      Pages 244-263

    3. Is Reuse Distance Applicable to Data Locality Analysis on Chip Multiprocessors?

      • Yunlian Jiang, Eddy Z. Zhang, Kai Tian, Xipeng Shen
      Pages 264-282

    4. The Polyhedral Model Is More Widely Applicable Than You Think

      • Mohamed-Walid Benabderrahmane, Louis-Noël Pouchet, Albert Cohen, Cédric Bastoul
      Pages 283-303

    5. The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations

      • Subhajit Roy, Y. N. Srikant
      Pages 304-323

  8. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Compiler Construction

Keywords

Editors and Affiliations

  • Department of Computer Science and Engineering, University of California Riverside, Riverside, USA

    Rajiv Gupta

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation