CC 2008
20 papers
- A System for Generating Static Analyzers for Machine Instructions
- An Adaptive Strategy for Inline Substitution
- Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts
- Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization in the Polyhedral Model
- Compiler-Guaranteed Safety in Code-Copying Virtual Machines
- Control Flow Emulation on Tiled SIMD Architectures
- Coqa: Concurrent Objects with Quantized Atomicity
- Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation
- Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method
- Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models
- Generating SIMD Vectorized Permutations
- Hardware JIT Compilation for Off-the-Shelf Dynamically Reconfigurable FPGAs
- How to Do a Million Watchpoints: Efficient Debugging Using Dynamic Instrumentation
- IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries
- Improved Memory-Access Analysis for x86 Executables
- Java Bytecode Verification for @NonNull Types
- Keep Off the Grass: Locking the Right Path for Atomicity
- On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis
- Supporting Legacy Binary Code in a Software Transaction Compiler with Dynamic Binary Translation and Optimization
- Visualization of Program Dependence Graphs