Laurie J. Hendren
Proceedings of the 17th International Conference on Compiler Construction
CC, 2008.

@proceedings{CC-2008,
	address       = "Budapest, Hungary",
	doi           = "10.1007/978-3-540-78791-4",
	editor        = "Laurie J. Hendren",
	isbn          = "978-3-540-78790-7",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 17th International Conference on Compiler Construction}",
	volume        = 4959,
	year          = 2008,
}

Contents (20 items)

5 ×#analysis
4 ×#bytecode
3 ×#compilation
3 ×#performance
2 ×#automation
2 ×#data flow
2 ×#generative
2 ×#graph
2 ×#how
2 ×#optimisation

CC-2008-Schwartzbach #compilation #design #how

Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation (MIS), pp. 1–15.

CC-2008-RepsB #analysis #bytecode

Improved Memory-Access Analysis for x86 Executables (TWR, GB), pp. 16–35.

CC-2008-LimR #bytecode #generative

A System for Generating Static Analyzers for Machine Instructions (JL, TWR), pp. 36–52.

CC-2008-RountevSX #analysis #data flow #ide #library #object-oriented #scalability

IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries (AR, MS, G(X), pp. 53–68.

CC-2008-CooperHW #adaptation

An Adaptive Strategy for Inline Substitution (KDC, TJH, TW), pp. 69–84.

CC-2008-NitaG #automation #c #multi

Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts (MN, DG), pp. 85–99.

CC-2008-LashariLM #architecture #control flow

Control Flow Emulation on Tiled SIMD Architectures (GL, OL, MM), pp. 100–115.

CC-2008-FranchettiP #generative #permutation

Generating SIMD Vectorized Permutations (FF, MP), pp. 116–131.

CC-2008-BondhugulaBKRRS #automation #locality #optimisation #parallel

Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization in the Polyhedral Model (UB, MMB, SK, JR, AR, PS), pp. 132–146.

CC-2008-ZhaoRARW #debugging #how #performance #using

How to Do a Million Watchpoints: Efficient Debugging Using Dynamic Instrumentation (QZ, RMR, SPA, LR, WFW), pp. 147–162.

CC-2008-ProkopskiV #safety #virtual machine

Compiler-Guaranteed Safety in Code-Copying Virtual Machines (GBP, CV), pp. 163–177.

CC-2008-BergeronFD #compilation #configuration management #hardware #jit #off the shelf

Hardware JIT Compilation for Off-the-Shelf Dynamically Reconfigurable FPGAs (EB, MF, JPD), pp. 178–192.

CC-2008-WurthingerWM #dependence #graph #visualisation

Visualization of Program Dependence Graphs (TW, CW, HM), pp. 193–196.

CC-2008-LogozzoF #analysis #bytecode #on the #source code

On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis (FL, MF), pp. 197–212.

CC-2008-KhedkerK #analysis #data flow #interprocedural #performance #precise #string

Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method (UPK, BK), pp. 213–228.

CC-2008-MalePPD #bytecode #java #verification

Java Bytecode Verification for @NonNull Types (CM, DJP, AP, CD), pp. 229–244.

CC-2008-MarronHKS #analysis #graph #modelling #performance

Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models (MM, MVH, DK, DS), pp. 245–259.

CC-2008-LiuLS #concurrent #named

Coqa: Concurrent Objects with Quantized Atomicity (YDL, XL, SFS), pp. 260–275.

CC-2008-CunninghamGE

Keep Off the Grass: Locking the Right Path for Atomicity (DC, KG, SE), pp. 276–290.

CC-2008-WangYW #compilation #legacy #optimisation #transaction

Supporting Legacy Binary Code in a Software Transaction Compiler with Dynamic Binary Translation and Optimization (CW, VY, YW), pp. 291–306.