|
Conferences in DBLP
- Andreas Zeller
When Abstraction Fails. [Citation Graph (0, 0)][DBLP] CC, 2005, pp:1-9 [Conf]
- Sukyoung Ryu, Norman Ramsey
Source-Level Debugging for Multiple Languages with Modest Programming Effort. [Citation Graph (0, 0)][DBLP] CC, 2005, pp:10-26 [Conf]
- Luca Padovani
Compilation of Generic Regular Path Expressions Using C++ Class Templates. [Citation Graph (0, 0)][DBLP] CC, 2005, pp:27-42 [Conf]
- Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt
XML Goes Native: Run-Time Representations for Xtatic. [Citation Graph (0, 0)][DBLP] CC, 2005, pp:43-58 [Conf]
- Weihua Jiang, Chao Mei, Bo Huang, Jianhui Li, Jiahua Zhu, Binyu Zang, Chuanqi Zhu
Boosting the Performance of Multimedia Applications Using SIMD Instructions. [Citation Graph (0, 0)][DBLP] CC, 2005, pp:59-75 [Conf]
- Robert Ennals, Richard Sharp, Alan Mycroft
Task Partitioning for Multi-core Network Processors. [Citation Graph (0, 0)][DBLP] CC, 2005, pp:76-90 [Conf]
- Sven Verdoolaege, Kristof Beyls, Maurice Bruynooghe, Francky Catthoor
Experiences with Enumeration of Integer Projections of Parametric Polytopes. [Citation Graph (0, 0)][DBLP] CC, 2005, pp:91-105 [Conf]
- Christopher Barton, Arie Tal, Bob Blainey, José Nelson Amaral
Generalized Index-Set Splitting. [Citation Graph (0, 0)][DBLP] CC, 2005, pp:106-120 [Conf]
- Harel Paz, Erez Petrank, Stephen M. Blackburn
Age-Oriented Concurrent Garbage Collection. [Citation Graph (0, 0)][DBLP] CC, 2005, pp:121-136 [Conf]
- Yair Sade, Shmuel Sagiv, Ran Shaham
Optimizing C Multithreaded Memory Management Using Thread-Local Storage. [Citation Graph (0, 0)][DBLP] CC, 2005, pp:137-155 [Conf]
- Harel Paz, Erez Petrank, David F. Bacon, Elliot K. Kolodner, V. T. Rajan
An Efficient On-the-Fly Cycle Collection. [Citation Graph (0, 0)][DBLP] CC, 2005, pp:156-171 [Conf]
- Jeremy Condit, George C. Necula
Data Slicing: Separating the Heap into Independent Regions. [Citation Graph (0, 0)][DBLP] CC, 2005, pp:172-187 [Conf]
- Feihui Li, Guilin Chen, Mahmut T. Kandemir, R. R. Brooks
A Compiler-Based Approach to Data Security. [Citation Graph (0, 0)][DBLP] CC, 2005, pp:188-203 [Conf]
- Karina Olmos, Eelco Visser
Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules. [Citation Graph (0, 0)][DBLP] CC, 2005, pp:204-220 [Conf]
- K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
Verification of Source Code Transformations by Program Equivalence Checking. [Citation Graph (0, 0)][DBLP] CC, 2005, pp:221-236 [Conf]
- Patrick Lam, Viktor Kuncak, Martin C. Rinard
Hob: A Tool for Verifying Data Structure Consistency. [Citation Graph (0, 0)][DBLP] CC, 2005, pp:237-241 [Conf]
- Jonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa
Jazz: A Tool for Demand-Driven Structural Testing. [Citation Graph (0, 0)][DBLP] CC, 2005, pp:242-245 [Conf]
- Kevin Casey, David Gregg, M. Anton Ertl
Tiger - An Interpreter Generation Tool. [Citation Graph (0, 0)][DBLP] CC, 2005, pp:246-249 [Conf]
- Gogul Balakrishnan, Radu Gruian, Thomas W. Reps, Tim Teitelbaum
CodeSurfer/x86-A Platform for Analyzing x86 Executables. [Citation Graph (0, 0)][DBLP] CC, 2005, pp:250-254 [Conf]
- Feng Qian, Laurie J. Hendren
A Study of Type Analysis for Speculative Method Inlining in a JIT Environment. [Citation Graph (0, 0)][DBLP] CC, 2005, pp:255-270 [Conf]
- Jingling Xue, Phung Hua Nguyen
Completeness Analysis for Incomplete Object-Oriented Programs. [Citation Graph (0, 0)][DBLP] CC, 2005, pp:271-286 [Conf]
- Anatole Le, Ondrej Lhoták, Laurie J. Hendren
Using Inter-Procedural Side-Effect Information in JIT Optimizations. [Citation Graph (0, 0)][DBLP] CC, 2005, pp:287-304 [Conf]
|