Abstract is missing.
- When Abstraction FailsAndreas Zeller. 1-9 [doi]
- Source-Level Debugging for Multiple Languages with Modest Programming EffortSukyoung Ryu, Norman Ramsey. 10-26 [doi]
- Compilation of Generic Regular Path Expressions Using C++ Class TemplatesLuca Padovani. 27-42 [doi]
- XML Goes Native: Run-Time Representations for XtaticVladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt. 43-58 [doi]
- Boosting the Performance of Multimedia Applications Using SIMD InstructionsWeihua Jiang, Chao Mei, Bo Huang, Jianhui Li, Jiahua Zhu, Binyu Zang, Chuanqi Zhu. 59-75 [doi]
- Task Partitioning for Multi-core Network ProcessorsRobert Ennals, Richard Sharp, Alan Mycroft. 76-90 [doi]
- Experiences with Enumeration of Integer Projections of Parametric PolytopesSven Verdoolaege, Kristof Beyls, Maurice Bruynooghe, Francky Catthoor. 91-105 [doi]
- Generalized Index-Set SplittingChristopher Barton, Arie Tal, Bob Blainey, José Nelson Amaral. 106-120 [doi]
- Age-Oriented Concurrent Garbage CollectionHarel Paz, Erez Petrank, Stephen M. Blackburn. 121-136 [doi]
- Optimizing C Multithreaded Memory Management Using Thread-Local StorageYair Sade, Shmuel Sagiv, Ran Shaham. 137-155 [doi]
- An Efficient On-the-Fly Cycle CollectionHarel Paz, Erez Petrank, David F. Bacon, Elliot K. Kolodner, V. T. Rajan. 156-171 [doi]
- Data Slicing: Separating the Heap into Independent RegionsJeremy Condit, George C. Necula. 172-187 [doi]
- A Compiler-Based Approach to Data SecurityFeihui Li, Guilin Chen, Mahmut T. Kandemir, Richard R. Brooks. 188-203 [doi]
- Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite RulesKarina Olmos, Eelco Visser. 204-220 [doi]
- Verification of Source Code Transformations by Program Equivalence CheckingK. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens. 221-236 [doi]
- Hob: A Tool for Verifying Data Structure ConsistencyPatrick Lam, Viktor Kuncak, Martin C. Rinard. 237-241 [doi]
- Jazz: A Tool for Demand-Driven Structural TestingJonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa. 242-245 [doi]
- Tiger - An Interpreter Generation ToolKevin Casey, David Gregg, M. Anton Ertl. 246-249 [doi]
- CodeSurfer/x86-A Platform for Analyzing x86 ExecutablesGogul Balakrishnan, Radu Gruian, Thomas W. Reps, Tim Teitelbaum. 250-254 [doi]
- A Study of Type Analysis for Speculative Method Inlining in a JIT EnvironmentFeng Qian, Laurie J. Hendren. 255-270 [doi]
- Completeness Analysis for Incomplete Object-Oriented ProgramsJingling Xue, Phung Hua Nguyen. 271-286 [doi]
- Using Inter-Procedural Side-Effect Information in JIT OptimizationsAnatole Le, Ondřej Lhoták, Laurie J. Hendren. 287-304 [doi]