Proceedings of the 27th Conference on Programming Language Design and Implementation
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

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

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

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.

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.