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