Skip to main content
  • Conference proceedings
  • © 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

Editors:

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

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

Conference series link(s): CC: International Conference on Compiler Construction

Conference proceedings info: CC 2008.

Buy it now

Buying options

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

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

Table of contents (20 papers)

  1. Front Matter

  2. Papers from Invited Talks

    1. Improved Memory-Access Analysis for x86 Executables

      • Thomas Reps, Gogul Balakrishnan
      Pages 16-35
  3. Analyses and Transformations

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

      • Atanas Rountev, Mariana Sharp, Guoqing Xu
      Pages 53-68
    2. An Adaptive Strategy for Inline Substitution

      • Keith D. Cooper, Timothy J. Harvey, Todd Waterman
      Pages 69-84
  4. Compiling for Parallel Architectures

    1. Control Flow Emulation on Tiled SIMD Architectures

      • Ghulam Lashari, OndÅ™ej Lhoták, Michael McCool
      Pages 100-115
    2. Generating SIMD Vectorized Permutations

      • Franz Franchetti, Markus Püschel
      Pages 116-131
    3. Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization in the Polyhedral Model

      • Uday Bondhugula, Muthu Baskaran, Sriram Krishnamoorthy, J. Ramanujam, Atanas Rountev, P. Sadayappan
      Pages 132-146
  5. Runtime Techniques and Tools

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

      • Qin Zhao, Rodric Rabbah, Saman Amarasinghe, Larry Rudolph, Weng-Fai Wong
      Pages 147-162
    2. Compiler-Guaranteed Safety in Code-Copying Virtual Machines

      • Gregory B. Prokopski, Clark Verbrugge
      Pages 163-177
    3. Hardware JIT Compilation for Off-the-Shelf Dynamically Reconfigurable FPGAs

      • Etienne Bergeron, Marc Feeley, Jean Pierre David
      Pages 178-192
    4. Visualization of Program Dependence Graphs

      • Thomas Würthinger, Christian Wimmer, Hanspeter Mössenböck
      Pages 193-196
  6. Analyses

    1. On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis

      • Francesco Logozzo, Manuel Fähndrich
      Pages 197-212
    2. Java Bytecode Verification for @NonNull Types

      • Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov
      Pages 229-244
    3. Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models

      • Mark Marron, Manuel Hermenegildo, Deepak Kapur, Darko Stefanovic
      Pages 245-259
  7. Atomicity and Transactions

    1. Coqa: Concurrent Objects with Quantized Atomicity

      • Yu David Liu, Xiaoqi Lu, Scott F. Smith
      Pages 260-275
    2. Keep Off the Grass: Locking the Right Path for Atomicity

      • Dave Cunningham, Khilan Gudka, Susan Eisenbach
      Pages 276-290

Other Volumes

  1. Compiler Construction

Bibliographic Information

Buy it now

Buying options

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