Alan Mycroft, Andreas Zeller
Proceedings of the 15th International Conference on Compiler Construction
CC, 2006.

@proceedings{CC-2006,
	address       = "Vienna, Austria",
	doi           = "10.1007/11688839",
	editor        = "Alan Mycroft and Andreas Zeller",
	isbn          = "3-540-33050-X",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 15th International Conference on Compiler Construction}",
	volume        = 3923,
	year          = 2006,
}

Contents (21 items)

6 ×#analysis
3 ×#data flow
3 ×#optimisation
2 ×#compilation
2 ×#execution
2 ×#interprocedural
2 ×#named
2 ×#performance
2 ×#question
2 ×#stack

CC-2006-Necula #dependent type #low level #type system #using

Using Dependent Types to Port Type Systems to Low-Level Languages (GCN), p. 1.

CC-2006-RountevKM #analysis #data flow #interprocedural #library #scalability

Interprocedural Dataflow Analysis in the Presence of Large Libraries (AR, SK, TJM), pp. 2–16.

CC-2006-TokGL #analysis #data flow #interprocedural #performance #pointer

Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers (TBT, SZG, CL), pp. 17–31.

CC-2006-FangCOW #analysis #distance #reuse

Path-Based Reuse Distance Analysis (CF, SC, SÖ, ZW), pp. 32–46.

CC-2006-LhotakH #analysis #points-to #question

Context-Sensitive Points-to Analysis: Is It Worth It? (OL, LJH), pp. 47–64.

CC-2006-GuoWWBOVCA #ambiguity #memory management #runtime

Selective Runtime Memory Disambiguation in a Dynamic Binary Translator (BG, YW, CW, MJB, GO, NV, JC, DIA), pp. 65–79.

CC-2006-GuoRW #execution #fault #locality

Accurately Choosing Execution Runs for Software Fault Localization (LG, AR, TW), pp. 80–95.

CC-2006-BaconCFGHR #analysis #named #online #realtime #visualisation

Demonstration: On-Line Visualization and Analysis of Real-Time Systems with TuningFork (DFB, PC, DF, DG, MH, VTR), pp. 96–100.

CC-2006-LamprechtMS #analysis #data flow #model checking

Data-Flow Analysis as Model Checking Within the jABC (ALL, TMS, BS), pp. 101–104.

CC-2006-LucasFW #compilation #tool support

The CGiS Compiler — A Tool Demonstration (PL, NF, RW), pp. 105–108.

CC-2006-HammondL #bytecode #java #optimisation

Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode (SH, DL), pp. 109–123.

CC-2006-CavazosMO #algorithm #hybrid #optimisation #question

Hybrid Optimizations: Which Optimization Algorithm to Use? (JC, JEBM, MFPO), pp. 124–138.

CC-2006-XueK #fresh look #problem

A Fresh Look at PRE as a Maximum Flow Problem (JX, JK), pp. 139–154.

CC-2006-LiuW #architecture #compilation #optimisation #performance #perspective

Performance Characterization of the 64-bit x86 Architecture from Compiler Optimizations’ Perspective (JL, YW), pp. 155–169.

CC-2006-YasugiHY #execution #lightweight #stack

Lightweight Lexical Closures for Legitimate Execution Stack Access (MY, TH, TY), pp. 170–184.

CC-2006-VasilacheBC #code generation

Polyhedral Code Generation in the Real World (NV, CB, AC), pp. 185–201.

CC-2006-AshbyO

Iterative Collective Loop Fusion (TJA, MFPO), pp. 202–216.

CC-2006-DiasR #assembly #declarative #using

Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions (JD, NR), pp. 217–231.

CC-2006-NandivadaP #named #stack

SARA: Combining Stack Allocation and Register Allocation (VKN, JP), pp. 232–246.

CC-2006-HackGG #source code

Register Allocation for Programs in SSA-Form (SH, DG, GG), pp. 247–262.

CC-2006-BarikS

Enhanced Bitwidth-Aware Register Allocation (RB, VS), pp. 263–276.