Book Volume 4959 2008

Compiler Construction

17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings


ISBN: 978-3-540-78790-7 (Print) 978-3-540-78791-4 (Online)

Table of contents (20 chapters)

  1. Front Matter

    Pages -

  2. Papers from Invited Talks

    1. Chapter

      Pages 1-15

      Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation

    2. Chapter

      Pages 16-35

      Improved Memory-Access Analysis for x86 Executables

  3. Analyses and Transformations

    1. Chapter

      Pages 36-52

      A System for Generating Static Analyzers for Machine Instructions

    2. Chapter

      Pages 53-68

      IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries

    3. Chapter

      Pages 69-84

      An Adaptive Strategy for Inline Substitution

    4. Chapter

      Pages 85-99

      Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts

  4. Compiling for Parallel Architectures

    1. Chapter

      Pages 100-115

      Control Flow Emulation on Tiled SIMD Architectures

    2. Chapter

      Pages 116-131

      Generating SIMD Vectorized Permutations

    3. Chapter

      Pages 132-146

      Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization in the Polyhedral Model

  5. Runtime Techniques and Tools

    1. Chapter

      Pages 147-162

      How to Do a Million Watchpoints: Efficient Debugging Using Dynamic Instrumentation

    2. Chapter

      Pages 163-177

      Compiler-Guaranteed Safety in Code-Copying Virtual Machines

    3. Chapter

      Pages 178-192

      Hardware JIT Compilation for Off-the-Shelf Dynamically Reconfigurable FPGAs

    4. Chapter

      Pages 193-196

      Visualization of Program Dependence Graphs

  6. Analyses

    1. Chapter

      Pages 197-212

      On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis

    2. Chapter

      Pages 213-228

      Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method

    3. Chapter

      Pages 229-244

      Java Bytecode Verification for @NonNull Types

    4. Chapter

      Pages 245-259

      Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models

  7. Atomicity and Transactions

    1. Chapter

      Pages 260-275

      Coqa: Concurrent Objects with Quantized Atomicity

    2. Chapter

      Pages 276-290

      Keep Off the Grass: Locking the Right Path for Atomicity

    3. Chapter

      Pages 291-306

      Supporting Legacy Binary Code in a Software Transaction Compiler with Dynamic Binary Translation and Optimization

  8. Back Matter

    Pages -