PLDI 2003
28 papers
- A comparison of empirical and model-driven optimization
- A compiler framework for speculative analysis and optimizations
- A practical flow-sensitive and context-sensitive C and C++ memory leak detector
- A provably sound TAL for back-end optimization
- A region-based compilation technique for a Java just-in-time compiler
- A static analyzer for large safety-critical software
- A type and effect system for atomicity
- Automatically proving the correctness of compiler optimizations
- Bug isolation via remote program sampling
- CCured in the real world
- CSSV: towards a realistic tool for statically detecting all buffer overflows in C
- Checking and inferring local non-aliasing
- Compile-time composition of run-time data and iteration reorderings
- Compile-time dynamic voltage scaling settings: opportunities and limits
- Debugging temporal specifications with concept analysis
- Linear analysis and optimization of stream programs
- Meta optimization: improving compiler heuristics with machine learning
- Optimizing indirect branch prediction accuracy in virtual machine interpreters
- Ownership types for safe region-based memory management in real-time Java
- Points-to analysis using BDDs
- Predicting whole-program locality through reuse distance analysis
- Region-based hierarchical operation partitioning for multicluster processors
- Static array storage optimization in MATLAB
- Static conflict analysis for multi-threaded object-oriented programs
- Stride prefetching by dynamically inspecting objects
- Taming the IXP network processor
- The design, implementation, and evaluation of a compiler algorithm for CPU energy reduction
- The nesC language: A holistic approach to networked embedded systems