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 BibTeX

Invited Talk

George C. Necula:
Using Dependent Types to Port Type Systems to Low-Level Languages. 1
Electronic Edition (link) BibTeX

Program Analysis

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

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
Electronic Edition (link) BibTeX
Liang Guo, Abhik Roychoudhury, Tao Wang:
Accurately Choosing Execution Runs for Software Fault Localization. 80-95
Electronic Edition (link) BibTeX

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
Electronic Edition (link) BibTeX
Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen:
Data-Flow Analysis as Model Checking Within the jABC. 101-104
Electronic Edition (link) BibTeX
Philipp Lucas, Nicolas Fritz, Reinhard Wilhelm:
The CGiS Compiler-A Tool Demonstration. 105-108
Electronic Edition (link) BibTeX

Optimization

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

Code Generation

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

Register Allocation

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