Rastislav Bodík
Proceedings of the 14th International Conference on Compiler Construction
CC, 2005.

@proceedings{CC-2005,
	address       = "Edinburgh, Scotland, United Kingdom",
	doi           = "10.1007/b107108",
	editor        = "Rastislav Bodík",
	isbn          = "3-540-25411-0",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 14th International Conference on Compiler Construction}",
	volume        = 3443,
	year          = 2005,
}

Event page: http://cc05.cs.berkeley.edu/

Contents (22 items)

4 ×#named
4 ×#using
2 ×#analysis
2 ×#case study
2 ×#jit
2 ×#multi
2 ×#optimisation
2 ×#performance
2 ×#source code
2 ×#verification

CC-2005-Zeller #abstraction

When Abstraction Fails (AZ), pp. 1–9.

CC-2005-RyuR #debugging #multi #programming

Source-Level Debugging for Multiple Languages with Modest Programming Effort (SR, NR), pp. 10–26.

CC-2005-Padovani #c++ #compilation #using

Compilation of Generic Regular Path Expressions Using C++ Class Templates (LP), pp. 27–42.

CC-2005-GapeyevLPS #runtime #xml

XML Goes Native: Run-Time Representations for Xtatic (VG, MYL, BCP, AS), pp. 43–58.

CC-2005-JiangMHLZZZ #multi #performance #using

Boosting the Performance of Multimedia Applications Using SIMD Instructions (WJ, CM, BH, JL, JZ, BZ, CZ), pp. 59–75.

CC-2005-EnnalsSM #clustering #manycore #network

Task Partitioning for Multi-core Network Processors (RE, RS, AM), pp. 76–90.

CC-2005-VerdoolaegeBBC #case study #experience #integer #parametricity

Experiences with Enumeration of Integer Projections of Parametric Polytopes (SV, KB, MB, FC), pp. 91–105.

CC-2005-BartonTBA

Generalized Index-Set Splitting (CB, AT, BB, JNA), pp. 106–120.

CC-2005-PazPB #concurrent #garbage collection

Age-Oriented Concurrent Garbage Collection (HP, EP, SMB), pp. 121–136.

CC-2005-SadeSS #c #memory management #optimisation #parallel #thread #using

Optimizing C Multithreaded Memory Management Using Thread-Local Storage (YS, SS, RS), pp. 137–155.

CC-2005-PazPBKR #on the fly #performance

An Efficient On-the-Fly Cycle Collection (HP, EP, DFB, EKK, VTR), pp. 156–171.

CC-2005-ConditN #independence #slicing

Data Slicing: Separating the Heap into Independent Regions (JC, GCN), pp. 172–187.

CC-2005-LiCKB #approach #security

A Compiler-Based Approach to Data Security (FL, GC, MTK, RRB), pp. 188–203.

CC-2005-OlmosV #data flow #text-to-text

Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules (KO, EV), pp. 204–220.

CC-2005-ShashidharBCJ #equivalence #program transformation #source code #verification

Verification of Source Code Transformations by Program Equivalence Checking (KCS, MB, FC, GJ), pp. 221–236.

CC-2005-LamKR #consistency #data type #named #verification

Hob: A Tool for Verifying Data Structure Consistency (PL, VK, MCR), pp. 237–241.

CC-2005-MisurdaCRCS #named #testing

Jazz: A Tool for Demand-Driven Structural Testing (JM, JAC, JLR, BRC, MLS), pp. 242–245.

CC-2005-CaseyGE #generative #interpreter #named

Tiger — An Interpreter Generation Tool (KC, DG, MAE), pp. 246–249.

CC-2005-BalakrishnanGRT #bytecode #framework #named #platform

CodeSurfer/x86 — A Platform for Analyzing x86 Executables (GB, RG, TWR, TT), pp. 250–254.

CC-2005-QianH #analysis #case study #jit

A Study of Type Analysis for Speculative Method Inlining in a JIT Environment (FQ, LJH), pp. 255–270.

CC-2005-XueN #analysis #object-oriented #source code

Completeness Analysis for Incomplete Object-Oriented Programs (JX, PHN), pp. 271–286.

CC-2005-LeLH #interprocedural #jit #optimisation #using

Using Inter-Procedural Side-Effect Information in JIT Optimizations (AL, OL, LJH), pp. 287–304.