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. Book Chapter

      Pages 1-15

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

    2. Book Chapter

      Pages 16-35

      Improved Memory-Access Analysis for x86 Executables

  3. Analyses and Transformations

    1. Book Chapter

      Pages 36-52

      A System for Generating Static Analyzers for Machine Instructions

    2. Book Chapter

      Pages 53-68

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

    3. Book Chapter

      Pages 69-84

      An Adaptive Strategy for Inline Substitution

    4. Book Chapter

      Pages 85-99

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

  4. Compiling for Parallel Architectures

    1. Book Chapter

      Pages 100-115

      Control Flow Emulation on Tiled SIMD Architectures

    2. Book Chapter

      Pages 116-131

      Generating SIMD Vectorized Permutations

    3. Book Chapter

      Pages 132-146

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

  5. Runtime Techniques and Tools

    1. Book Chapter

      Pages 147-162

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

    2. Book Chapter

      Pages 163-177

      Compiler-Guaranteed Safety in Code-Copying Virtual Machines

    3. Book Chapter

      Pages 178-192

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

    4. Book Chapter

      Pages 193-196

      Visualization of Program Dependence Graphs

  6. Analyses

    1. Book Chapter

      Pages 197-212

      On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis

    2. Book Chapter

      Pages 213-228

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

    3. Book Chapter

      Pages 229-244

      Java Bytecode Verification for @NonNull Types

    4. Book Chapter

      Pages 245-259

      Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models

  7. Atomicity and Transactions

    1. Book Chapter

      Pages 260-275

      Coqa: Concurrent Objects with Quantized Atomicity

    2. Book Chapter

      Pages 276-290

      Keep Off the Grass: Locking the Right Path for Atomicity

    3. Book Chapter

      Pages 291-306

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

  8. Back Matter

    Pages -