Compiler Construction

by Mycroft, Alan; Zeller, Andreas

• ISBN13: 9783540330509
• ISBN10: 354033050X
• Format: Paperback
• Copyright: 2006-04-15
• Publisher: Springer-Verlag New York Inc

Summary

This book constitutes the refereed proceedings of the 15th International Conference on Compiler Construction, CC 2006, held in Vienna, Austria, in March 2006 as part of ETAPS. The 17 revised full papers presented together with 3 tool demonstration papers and 1 invited paper were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on program analysis, dynamic analysis, tool demonstrations, optimization, code generation, and register allocation.

Table of Contents

Using dependent types to port type systems to low-level languages	p. 1
Interprocedural dataflow analysis in the presence of large libraries	p. 2
Efficient flow-sensitive interprocedural data-flow analysis in the presence of pointers	p. 17
Path-based reuse distance analysis	p. 32
Context-sensitive points-to analysis : is it worth it?	p. 47
Selective runtime memory disambiguation in a dynamic binary translator	p. 65
Accurately choosing execution runs for software fault localization	p. 80
Demonstration : on-line visualization and analysis of real-time systems with TuningFork	p. 96
Data-flow analysis as model checking within the jABC	p. 101
The CGiS compiler - a tool demonstration	p. 105
Loop transformations in the ahead-of-time optimization of Java bytecode	p. 109
Hybrid optimizations : which optimization algorithm to use?	p. 124
A fresh look at PRE as a maximum flow problem	p. 139
Performance characterization of the 64-bit x86 architecture from compiler optimizations' perspective	p. 155
Lightweight lexical closures for legitimate execution stack access	p. 170
Polyhedral code generation in the real world	p. 185
Iterative collective loop fusion	p. 202
Converting intermediate code to assembly code using declarative machine descriptions	p. 217
SARA : combining stack allocation and register allocation	p. 232
Register allocation for programs in SSA-form	p. 247
Enhanced bitwidth-aware register allocation	p. 263
Table of Contents provided by Blackwell. All Rights Reserved.