|
154
|
Detecting Parallelism in C Programs with Recursive Data Structures
– Rakesh Ghiya, Laurie Hendren, Yingchun Zhu
- 1998
|
|
85
|
Data Flow Analysis for Software Prefetching Linked Data Structures in Java
– Brendon Cahoon, Kathryn S. McKinley
|
|
178
|
Is it a tree, a dag, or a cyclic graph? a shape analysis for heap-directed pointers in c
– Rakesh Ghiya, Laurie J Hendren
- 1996
|
|
465
|
Parametric Shape Analysis via 3-Valued Logic
– Mooly Sagiv, Thomas Reps, Reinhard Wilhelm
- 1999
|
|
50
|
Shape Analysis
– Reinhard Wilhelm, Mooly Sagiv, Thomas Reps, Fachbereich Informatik, Universitat Des Saarl
- 2000
|
|
9
|
A static heap analysis for shape and connectivity
– M Marron, D Kapur, D Stefanovic, M Hermenegildo
- 2006
|
|
360
|
Analysis of pointers and structures
– D R Chase, M Wegman, F K Zadeck
- 1990
|
|
171
|
Compiler-Based Prefetching for Recursive Data Structures
– Chi-Keung Luk, Todd C. Mowry
- 1996
|
|
84
|
Software Caching and Computation Migration in Olden
– Martin C. Carlisle, Anne Rogers
- 1995
|
|
375
|
Efficient Context-Sensitive Pointer Analysis for C Programs
– Robert P. Wilson, Monica S. Lam
- 1995
|
|
86
|
Effective jump-pointer prefetching for linked data structures
– A AND SOHI ROTH, G S
- 1999
|
|
61
|
A prefetching technique for irregular accesses to linked data structures
– Magnus Karlsson, Fredrik Dahlgren Y, Per Stenström
- 2000
|
|
14
|
An abstract domain for analyzing heap-manipulating low-level software
– Sumit Gulwani, Ashish Tiwari
- 2007
|
|
34
|
Shape analysis with inductive recursion synthesis
– B Guo, N Vachharajani, D I August
- 2007
|
|
66
|
Shape analysis for composite data structures
– Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O’hearn, Hongseok Yang, Queen Mary
- 2007
|
|
147
|
Dependence Based Prefetching for Linked Data Structures
– Amir Roth, Andreas Moshovos, Gurindar S. Soh
- 1998
|
|
281
|
Solving Shape-Analysis Problems in Languages with Destructive Updating
– Mooly Sagiv, Thomas Repst, Reinhard Wilhelm
- 1996
|
|
747
|
Improving Direct-Mapped Cache Performance by the Addition of a Small Fully-Associative Cache and Prefetch Buffers
– Norman P. Jouppi, Of A Small Fullyassociative
- 1990
|
|
61
|
Scalable shape analysis for systems code
– Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano
- 2008
|
