PLDI 2006
36 papers
- A framework for unrestricted whole-program optimization
- A global progressive register allocator
- Accurate, efficient, and adaptive calling context profiling
- Algorithm specialization in generic programming: challenges of constrained generics in C++
- An experimental analysis of self-adjusting computation
- Artemis: practical runtime monitoring of applications for execution anomalies
- Auto-vectorization of interleaved data for SIMD
- Automatic instruction scheduler retargeting by reverse-engineering
- Better extensibility through modular syntax
- Cache-conscious coallocation of hot data streams
- Combining abstract interpreters
- Compiler and runtime support for efficient software transactional memory
- Context-sensitive domain-independent algorithm composition and selection
- Continuations and transducer composition
- Correctness-preserving derivation of concurrent garbage collection algorithms
- DieHard: probabilistic memory safety for unsafe languages
- Effective static race detection for Java
- Eventrons: a safe programming construct for high-frequency hard real-time applications
- Fast and flexible instruction selection with on-demand tree-parsing automata
- Free-Me: a static analysis for automatic individual object reclamation
- LOCKSMITH: context-sensitive correlation analysis for race detection
- Modular verification of assembly code with stack-based control abstractions
- Online performance auditing: using hot optimizations without getting burned
- Optimizing data permutations for SIMD devices
- Optimizing memory transactions
- Practical dynamic software updating for C
- Profile-based global live-range splitting
- Profile-guided proactive garbage collection for locality optimization
- Pruning dynamic slices with confidence
- Reducing NoC energy consumption through compiler-directed channel voltage scaling
- Refinement-based context-sensitive points-to analysis for Java
- SAFECode: enforcing alias analysis for weakly typed languages
- Shared memory programming for large scale machines
- Termination proofs for systems code
- The Atomos transactional programming language
- The Compressor: concurrent, incremental, and parallel compaction