Michael I. Schwartzbach, Thomas Ball
Proceedings of the 27th Conference on Programming Language Design and Implementation
PLDI, 2006.

@proceedings{PLDI-2006,
	address       = "Ottawa, Ontario, Canada",
	editor        = "Michael I. Schwartzbach and Thomas Ball",
	isbn          = "1-59593-320-4",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 27th Conference on Programming Language Design and Implementation}",
	year          = 2006,
}

Contents (36 items)

6 ×#named
5 ×#optimisation
4 ×#analysis
4 ×#composition
4 ×#concurrent
4 ×#memory management
4 ×#performance
3 ×#algorithm
3 ×#programming
3 ×#transaction

PLDI-2006-CarlstromMCCMKO #programming language #transaction

The Atomos transactional programming language (BDC, AM, HC, JC, CCM, CEK, KO), pp. 1–13.

PLDI-2006-HarrisPST #memory management #optimisation #transaction

Optimizing memory transactions (TLH, MP, AS, DT), pp. 14–25.

PLDI-2006-Adl-TabatabaiLMMSS #compilation #memory management #performance #runtime #transaction

Compiler and runtime support for efficient software transactional memory (ARAT, BTL, VM, BRM, BS, TS), pp. 26–37.

PLDI-2006-Grimm #composition #syntax

Better extensibility through modular syntax (RG), pp. 38–51.

PLDI-2006-ErtlCG #automaton #flexibility #on-demand #performance

Fast and flexible instruction selection with on-demand tree-parsing automata (MAE, KC, DG), pp. 52–60.

PLDI-2006-TriantafyllisBROA #framework #optimisation #strict

A framework for unrestricted whole-program optimization (ST, MJB, ER, GO, DIA), pp. 61–71.

PLDI-2006-NeamtiuHSO #c

Practical dynamic software updating for C (IN, MWH, GS, MO), pp. 72–83.

PLDI-2006-FeiM #execution #monitoring #named #runtime

Artemis: practical runtime monitoring of applications for execution anomalies (LF, SPM), pp. 84–95.

PLDI-2006-AcarBBT #analysis #self

An experimental analysis of self-adjusting computation (UAA, GEB, MB, KT), pp. 96–107.

PLDI-2006-BartonCAZFCA #memory management #programming #scalability

Shared memory programming for large scale machines (CB, CC, GA, YZ, MF, SC, JNA), pp. 108–117.

PLDI-2006-RenWP #optimisation #permutation

Optimizing data permutations for SIMD devices (GR, PW, DAP), pp. 118–131.

PLDI-2006-NuzmanRZ

Auto-vectorization of interleaved data for SIMD (DN, IR, AZ), pp. 132–143.

PLDI-2006-DhurjatiKA #alias #analysis #named

SAFECode: enforcing alias analysis for weakly typed languages (DD, SK, VSA), pp. 144–157.

PLDI-2006-BergerZ #memory management #named #probability #safety

DieHard: probabilistic memory safety for unsafe languages (EDB, BGZ), pp. 158–168.

PLDI-2006-ZhangGG #dynamic analysis #slicing

Pruning dynamic slices with confidence (XZ, NG, RG), pp. 169–180.

PLDI-2006-JohnsonE #algorithm #composition #independence

Context-sensitive domain-independent algorithm composition and selection (TAJ, RE), pp. 181–192.

PLDI-2006-ChenLKI #energy #scalability

Reducing NoC energy consumption through compiler-directed channel voltage scaling (GC, FL, MTK, MJI), pp. 193–203.

PLDI-2006-KoesG

A global progressive register allocator (DRK, SCG), pp. 204–215.

PLDI-2006-NakaikeIKN

Profile-based global live-range splitting (TN, TI, HK, TN), pp. 216–227.

PLDI-2006-BridgesVOA #automation

Automatic instruction scheduler retargeting by reverse-engineering (MJB, NV, GO, DIA), pp. 228–238.

PLDI-2006-LauAHC #online #optimisation #performance #using

Online performance auditing: using hot optimizations without getting burned (JL, MA, MH, BC), pp. 239–251.

PLDI-2006-ChilimbiS #data type

Cache-conscious coallocation of hot data streams (TMC, RS), pp. 252–262.

PLDI-2006-ZhuangSCC #adaptation #performance #profiling

Accurate, efficient, and adaptive calling context profiling (XZ, MJS, HWC, JDC), pp. 263–271.

PLDI-2006-JarviGWLS #algorithm #c++ #challenge #programming

Algorithm specialization in generic programming: challenges of constrained generics in C++ (JJ, DG, JW, AL, JGS), pp. 272–282.

PLDI-2006-SpoonhowerABCG #named #programming #realtime

Eventrons: a safe programming construct for high-frequency hard real-time applications (DS, JSA, DFB, PC, DG), pp. 283–294.

PLDI-2006-ShiversM #composition #continuation #transducer

Continuations and transducer composition (OS, MM), pp. 295–307.

PLDI-2006-NaikAW #concurrent #detection #effectiveness #java

Effective static race detection for Java (MN, AA, JW), pp. 308–319.

PLDI-2006-PratikakisFH #analysis #concurrent #correlation #detection #named

LOCKSMITH: context-sensitive correlation analysis for race detection (PP, JSF, MWH), pp. 320–331.

PLDI-2006-ChenBCGC #garbage collection #locality #optimisation

Profile-guided proactive garbage collection for locality optimization (WkC, SB, TMC, XG, WC), pp. 332–340.

PLDI-2006-VechevYB #algorithm #concurrent #garbage collection

Correctness-preserving derivation of concurrent garbage collection algorithms (MTV, EY, DFB), pp. 341–353.

PLDI-2006-KermanyP #concurrent #incremental #parallel

The Compressor: concurrent, incremental, and parallel compaction (HK, EP), pp. 354–363.

PLDI-2006-GuyerMF #automation #named #static analysis

Free-Me: a static analysis for automatic individual object reclamation (SZG, KSM, DF), pp. 364–375.

PLDI-2006-GulwaniT

Combining abstract interpreters (SG, AT), pp. 376–386.

PLDI-2006-SridharanB #analysis #java #points-to

Refinement-based context-sensitive points-to analysis for Java (MS, RB), pp. 387–400.

PLDI-2006-FengSVXN #abstraction #assembly #composition #verification

Modular verification of assembly code with stack-based control abstractions (XF, ZS, AV, SX, ZN), pp. 401–414.

PLDI-2006-CookPR #proving #termination

Termination proofs for systems code (BC, AP, AR), pp. 415–426.