15. CC 2006: Vienna, Austria (Part of ETAPS 2006)

Alan Mycroft, Andreas Zeller (Eds.): Compiler Construction, 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings. Lecture Notes in Computer Science 3923 Springer 2006, ISBN 3-540-33050-X

Invited Talk

George C. Necula:
Using Dependent Types to Port Type Systems to Low-Level Languages. 1

Program Analysis

Atanas Rountev, Scott Kagan, Thomas J. Marlowe:
Interprocedural Dataflow Analysis in the Presence of Large Libraries. 2-16
Teck Bok Tok, Samuel Z. Guyer, Calvin Lin:
Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers. 17-31
Changpeng Fang, Steve Carr, Soner Önder, Zhenlin Wang:
Path-Based Reuse Distance Analysis. 32-46
Ondrej Lhoták, Laurie J. Hendren:
Context-Sensitive Points-to Analysis: Is It Worth It?. 47-64

Dynamic Analysis

Bolei Guo, Youfeng Wu, Cheng Wang, Matthew J. Bridges, Guilherme Ottoni, Neil Vachharajani, Jonathan Chang, David I. August:
Selective Runtime Memory Disambiguation in a Dynamic Binary Translator. 65-79
Liang Guo, Abhik Roychoudhury, Tao Wang:
Accurately Choosing Execution Runs for Software Fault Localization. 80-95

Tool Demonstrations

David F. Bacon, Perry Cheng, Daniel Frampton, David Grove, Matthias Hauswirth, V. T. Rajan:
Demonstration: On-Line Visualization and Analysis of Real-Time Systems with TuningFork. 96-100
Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen:
Data-Flow Analysis as Model Checking Within the jABC. 101-104
Philipp Lucas, Nicolas Fritz, Reinhard Wilhelm:
The CGiS Compiler-A Tool Demonstration. 105-108

Optimization

Simon Hammond, David Lacey:
Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode. 109-123
John Cavazos, J. Eliot B. Moss, Michael F. P. O'Boyle:
Hybrid Optimizations: Which Optimization Algorithm to Use?. 124-138
Jingling Xue, Jens Knoop:
A Fresh Look at PRE as a Maximum Flow Problem. 139-154
Jack Liu, Youfeng Wu:
Performance Characterization of the 64-bit x86 Architecture from Compiler Optimizations' Perspective. 155-169

Code Generation

Masahiro Yasugi, Tasuku Hiraishi, Taiichi Yuasa:
Lightweight Lexical Closures for Legitimate Execution Stack Access. 170-184
Nicolas Vasilache, Cédric Bastoul, Albert Cohen:
Polyhedral Code Generation in the Real World. 185-201
Thomas J. Ashby, Michael F. P. O'Boyle:
Iterative Collective Loop Fusion. 202-216
João Dias, Norman Ramsey:
Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions. 217-231

Register Allocation

V. Krishna Nandivada, Jens Palsberg:
SARA: Combining Stack Allocation and Register Allocation. 232-246
Sebastian Hack, Daniel Grund, Gerhard Goos:
Register Allocation for Programs in SSA-Form. 247-262
Rajkishore Barik, Vivek Sarkar:
Enhanced Bitwidth-Aware Register Allocation. 263-276