CGO 2009
26 papers
- A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models
- A Practical Approach to Hardware Performance Monitoring Based Dynamic Optimizations in a Production JVM
- Alchemist: A Transparent Dependence Distance Profiling Infrastructure
- An Evaluation of Misaligned Data Access Handling Mechanisms in Dynamic Binary Translation Systems
- Automatic Feature Generation for Machine Learning Based Optimizing Compilation
- Building Approximate Calling Context from Partial Call Traces
- Communication-Sensitive Static Dataflow for Parallel Message Passing Applications
- Computer Generation of General Size Linear Transform Libraries
- Cross-Input Learning and Discriminative Prediction in Evolvable Virtual Machines
- Detecting and Eliminating Potential Violations of Sequential Consistency for Concurrent C/C++ Programs
- ESoftCheck: Removal of Non-vital Checks for Fault Tolerance
- Fast Track: A Software System for Speculative Program Optimization
- OptiScope: Performance Accountability for Optimizing Compilers
- Perflint: A Context Sensitive Performance Advisor for C++ Programs
- Procedural Abstraction with Reverse Prefix Trees
- Profiling k-Iteration Paths: A Generalization of the Ball-Larus Profiling Algorithm
- Reducing Memory Ordering Overheads in Software Transactional Memory
- Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency
- Scenario Based Optimization: A Framework for Statically Enabling Online Optimizations
- Software Pipelined Execution of Stream Programs on GPUs
- Stream Compilation for Real-Time Embedded Multicore Systems
- Techniques for Region-Based Register Allocation
- Transparent Debugging of Dynamically Optimized Code
- Two-Level Dictionary Code Compression: A New Scheme to Improve Instruction Code Density of Embedded Applications
- Wave Propagation and Deep Propagation for Pointer Analysis
- Workload Reduction for Multi-input Feedback-Directed Optimization