Proceedings of the 15th International Conference on Compiler Construction
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

SYS
DBLP
Scholar
DOI
Full names Links ISxN
@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)

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, , 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.