Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Laurie Hendren
    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 4959)

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

Included in the following conference series:

Conference proceedings info: CC 2008.

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 (20 papers)

  1. Front Matter

    Download chapter PDF

  2. Papers from Invited Talks

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

      • Michael I. Schwartzbach
      Pages 1-15

    2. Improved Memory-Access Analysis for x86 Executables

      • Thomas Reps, Gogul Balakrishnan
      Pages 16-35

  3. Analyses and Transformations

    1. A System for Generating Static Analyzers for Machine Instructions

      • Junghee Lim, Thomas Reps
      Pages 36-52

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

      • Atanas Rountev, Mariana Sharp, Guoqing Xu
      Pages 53-68

    3. An Adaptive Strategy for Inline Substitution

      • Keith D. Cooper, Timothy J. Harvey, Todd Waterman
      Pages 69-84

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

      • Marius Nita, Dan Grossman
      Pages 85-99

  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. Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method

      • Uday P. Khedker, Bageshri Karkare
      Pages 213-228

    3. Java Bytecode Verification for @NonNull Types

      • Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov
      Pages 229-244

    4. 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
Back to top

Other volumes

  1. Compiler Construction

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation