CC 2005

22 papers

1. A Compiler-Based Approach to Data Security · Feihui Li, Guilin Chen, Mahmut T. Kandemir, Richard R. Brooks
2. A Study of Type Analysis for Speculative Method Inlining in a JIT Environment · Feng Qian, Laurie J. Hendren
3. Age-Oriented Concurrent Garbage Collection · Harel Paz, Erez Petrank, Stephen M. Blackburn
4. An Efficient On-the-Fly Cycle Collection · Harel Paz, Erez Petrank, David F. Bacon, Elliot K. Kolodner, V. T. Rajan
5. Boosting the Performance of Multimedia Applications Using SIMD Instructions · Weihua Jiang, Chao Mei, Bo Huang, Jianhui Li, Jiahua Zhu, Binyu Zang + 1 more
6. CodeSurfer/x86-A Platform for Analyzing x86 Executables · Gogul Balakrishnan, Radu Gruian, Thomas W. Reps, Tim Teitelbaum
7. Compilation of Generic Regular Path Expressions Using C++ Class Templates · Luca Padovani
8. Completeness Analysis for Incomplete Object-Oriented Programs · Jingling Xue, Phung Hua Nguyen
9. Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules · Karina Olmos, Eelco Visser
10. Data Slicing: Separating the Heap into Independent Regions · Jeremy Condit, George C. Necula
11. Experiences with Enumeration of Integer Projections of Parametric Polytopes · Sven Verdoolaege, Kristof Beyls, Maurice Bruynooghe, Francky Catthoor
12. Generalized Index-Set Splitting · Christopher Barton, Arie Tal, Bob Blainey, José Nelson Amaral
13. Hob: A Tool for Verifying Data Structure Consistency · Patrick Lam, Viktor Kuncak, Martin C. Rinard
14. Jazz: A Tool for Demand-Driven Structural Testing · Jonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa
15. Optimizing C Multithreaded Memory Management Using Thread-Local Storage · Yair Sade, Shmuel Sagiv, Ran Shaham
16. Source-Level Debugging for Multiple Languages with Modest Programming Effort · Sukyoung Ryu, Norman Ramsey
17. Task Partitioning for Multi-core Network Processors · Robert Ennals, Richard Sharp, Alan Mycroft
18. Tiger - An Interpreter Generation Tool · Kevin Casey, David Gregg, M. Anton Ertl
19. Using Inter-Procedural Side-Effect Information in JIT Optimizations · Anatole Le, Ondrej Lhoták, Laurie J. Hendren
20. Verification of Source Code Transformations by Program Equivalence Checking · K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
21. When Abstraction Fails · Andreas Zeller
22. XML Goes Native: Run-Time Representations for Xtatic · Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt