Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar14. CC 2005: Edinburgh, Scotland, UK (Part of ETAPS 2005)
Rastislav Bodík:
Compiler Construction, 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings. Lecture Notes in Computer Science 3443, Springer 2005, ISBN 3-540-25411-0
Invited Talk
Compilation
- Sukyoung Ryu, Norman Ramsey:
Source-Level Debugging for Multiple Languages with Modest Programming Effort. 10-26 - Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt:
XML Goes Native: Run-Time Representations for Xtatic. 43-58
Parallelism
- Weihua Jiang, Chao Mei, Bo Huang, Jianhui Li, Jiahua Zhu, Binyu Zang, Chuanqi Zhu:
Boosting the Performance of Multimedia Applications Using SIMD Instructions. 59-75 - Robert Ennals, Richard Sharp, Alan Mycroft:
Task Partitioning for Multi-core Network Processors. 76-90 - Sven Verdoolaege, Kristof Beyls, Maurice Bruynooghe, Francky Catthoor:
Experiences with Enumeration of Integer Projections of Parametric Polytopes. 91-105 - Christopher Barton, Arie Tal, Bob Blainey, José Nelson Amaral:
Generalized Index-Set Splitting. 106-120
Memory Management
- Yair Sade, Shmuel Sagiv, Ran Shaham:
Optimizing C Multithreaded Memory Management Using Thread-Local Storage. 137-155 - Harel Paz, Erez Petrank, David F. Bacon, Elliot K. Kolodner, V. T. Rajan:
An Efficient On-the-Fly Cycle Collection. 156-171
Program Transformations
- Jeremy Condit, George C. Necula:
Data Slicing: Separating the Heap into Independent Regions. 172-187 - Feihui Li, Guilin Chen, Mahmut T. Kandemir, Richard R. Brooks:
A Compiler-Based Approach to Data Security. 188-203 - Karina Olmos, Eelco Visser:
Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules. 204-220 - K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens:
Verification of Source Code Transformations by Program Equivalence Checking. 221-236
Tool Demonstrations
- Patrick Lam, Viktor Kuncak, Martin C. Rinard:
Hob: A Tool for Verifying Data Structure Consistency. 237-241 - Jonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa:
Jazz: A Tool for Demand-Driven Structural Testing. 242-245 - Gogul Balakrishnan, Radu Gruian, Thomas W. Reps, Tim Teitelbaum:
CodeSurfer/x86-A Platform for Analyzing x86 Executables. 250-254
Pointer Analysis
- Feng Qian, Laurie J. Hendren:
A Study of Type Analysis for Speculative Method Inlining in a JIT Environment. 255-270 - Jingling Xue, Phung Hua Nguyen:
Completeness Analysis for Incomplete Object-Oriented Programs. 271-286 - Anatole Le, Ondrej Lhoták, Laurie J. Hendren:
Using Inter-Procedural Side-Effect Information in JIT Optimizations. 287-304
maintained by 
, founded at 
, founded at 
last updated on 2019-02-17 19:41 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
