Abstract is missing.
- Design Choices in a Compiler Course or How to Make Undergraduates Love Formal NotationMichael I. Schwartzbach. 1-15 [doi]
- Improved Memory-Access Analysis for x86 ExecutablesThomas W. Reps, Gogul Balakrishnan. 16-35 [doi]
- A System for Generating Static Analyzers for Machine InstructionsJunghee Lim, Thomas W. Reps. 36-52 [doi]
- IDE Dataflow Analysis in the Presence of Large Object-Oriented LibrariesAtanas Rountev, Mariana Sharp, Guoqing Xu. 53-68 [doi]
- An Adaptive Strategy for Inline SubstitutionKeith D. Cooper, Timothy J. Harvey, Todd Waterman. 69-84 [doi]
- Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data LayoutsMarius Nita, Dan Grossman. 85-99 [doi]
- Control Flow Emulation on Tiled SIMD ArchitecturesGhulam Lashari, Ondřej Lhoták, Michael McCool. 100-115 [doi]
- Generating SIMD Vectorized PermutationsFranz Franchetti, Markus Püschel. 116-131 [doi]
- Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization in the Polyhedral ModelUday Bondhugula, Muthu Manikandan Baskaran, Sriram Krishnamoorthy, J. Ramanujam, Atanas Rountev, P. Sadayappan. 132-146 [doi]
- How to Do a Million Watchpoints: Efficient Debugging Using Dynamic InstrumentationQin Zhao, Rodric M. Rabbah, Saman P. Amarasinghe, Larry Rudolph, Weng-Fai Wong. 147-162 [doi]
- Compiler-Guaranteed Safety in Code-Copying Virtual MachinesGregory B. Prokopski, Clark Verbrugge. 163-177 [doi]
- Hardware JIT Compilation for Off-the-Shelf Dynamically Reconfigurable FPGAsEtienne Bergeron, Marc Feeley, Jean-Pierre David. 178-192 [doi]
- Visualization of Program Dependence GraphsThomas Würthinger, Christian Wimmer, Hanspeter Mössenböck. 193-196 [doi]
- On the Relative Completeness of Bytecode Analysis Versus Source Code AnalysisFrancesco Logozzo, Manuel Fähndrich. 197-212 [doi]
- Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings MethodUday P. Khedker, Bageshri Karkare. 213-228 [doi]
- Java Bytecode Verification for @NonNull TypesChris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov. 229-244 [doi]
- Efficient Context-Sensitive Shape Analysis with Graph Based Heap ModelsMark Marron, Manuel V. Hermenegildo, Deepak Kapur, Darko Stefanovic. 245-259 [doi]
- Coqa: Concurrent Objects with Quantized AtomicityYu David Liu, Xiaoqi Lu, Scott F. Smith. 260-275 [doi]
- Keep Off the Grass: Locking the Right Path for AtomicityDave Cunningham, Khilan Gudka, Susan Eisenbach. 276-290 [doi]
- Supporting Legacy Binary Code in a Software Transaction Compiler with Dynamic Binary Translation and OptimizationCheng Wang, Victor Ying, Youfeng Wu. 291-306 [doi]