메뉴 건너뛰기




Volumn , Issue , 2008, Pages 43-49

Sharing analysis of arrays, collections, and recursive structures

Author keywords

Parallelism; Shape analysis; Shared structures

Indexed keywords

COMPUTATIONALLY EFFICIENT; FUNDAMENTAL PROPERTIES; MEMORY LOCATIONS; OPTIMIZATION TECHNIQUES; PARALLEL SPEEDUPS; PARALLEL VERSION; PRECISE MODELING; RECURSIVE STRUCTURE; SHAPE ANALYSIS; SHARING ANALYSIS; SHARING INFORMATION;

EID: 77950552734     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1512475.1512485     Document Type: Conference Paper
Times cited : (18)

References (20)
  • 1
    • 77950570789 scopus 로고    scopus 로고
    • http://cs.unm.edu/~marron.
  • 6
    • 17044399069 scopus 로고    scopus 로고
    • Static analysis of accessed regions in recursive data structures
    • S. Chong and R. Rugina. Static analysis of accessed regions in recursive data structures. In SAS, 2003.
    • (2003) SAS
    • Chong, S.1    Rugina, R.2
  • 7
    • 0027961596 scopus 로고
    • Interprocedural may-alias analysis for pointers: Beyond k-limiting
    • A. Deutsch. Interprocedural may-alias analysis for pointers: Beyond k-limiting. In PLDI, pages 230-241, 1994.
    • (1994) PLDI , pp. 230-241
    • Deutsch, A.1
  • 8
    • 0029719687 scopus 로고    scopus 로고
    • Is it a tree, a dag, or a cyclic graph? a shape analysis for heap-directed pointers in C
    • R. Ghiya and L. J. Hendren. Is it a tree, a dag, or a cyclic graph? A shape analysis for heap-directed pointers in C. In POPL, 1996.
    • (1996) POPL
    • Ghiya, R.1    Hendren, L.J.2
  • 9
    • 85015493456 scopus 로고    scopus 로고
    • Detecting parallelism in C programs with recursive darta structures
    • R. Ghiya, L. J. Hendren, and Y. Zhu. Detecting parallelism in C programs with recursive darta structures. In CC, 1998.
    • (1998) CC
    • Ghiya, R.1    Hendren, L.J.2    Zhu, Y.3
  • 10
    • 67650111238 scopus 로고    scopus 로고
    • An abstract domain for analyzing heap-manipulating low-level software
    • S. Gulwani and A. Tiwari. An abstract domain for analyzing heap-manipulating low-level software. In CAV, 2007.
    • (2007) CAV
    • Gulwani, S.1    Tiwari, A.2
  • 11
    • 35448950882 scopus 로고    scopus 로고
    • Shape analysis with inductive recursion synthesis
    • B. Guo, N. Vachharajani, and D. August. Shape analysis with inductive recursion synthesis. In PLDI, 2007.
    • (2007) PLDI
    • Guo, B.1    Vachharajani, N.2    August, D.3
  • 12
    • 0025207766 scopus 로고
    • Parallelizing programs with recursive data structures
    • L. J. Hendren and A. Nicolau. Parallelizing programs with recursive data structures. IEEE TPDS, 1(1), 1990.
    • (1990) IEEE TPDS , vol.1 , Issue.1
    • Hendren, L.J.1    Nicolau, A.2
  • 13
    • 77950566994 scopus 로고
    • Dependence analysis for pointer variables
    • S. Horwitz, P. Pfeiffer, and T. W. Reps. Dependence analysis for pointer variables. In PLDI, 1989.
    • (1989) PLDI
    • Horwitz, S.1    Pfeiffer, P.2    Reps, T.W.3
  • 16
    • 0032684782 scopus 로고    scopus 로고
    • Parametric shape analysis via 3-valued logic
    • S. Sagiv, T. W. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. In POPL, 1999.
    • (1999) POPL
    • Sagiv, S.1    Reps, T.W.2    Wilhelm, R.3
  • 17
    • 77950563264 scopus 로고    scopus 로고
    • August
    • Standard Performance Evaluation Corporation. JVM98 Version 1.04, August 1998. http://www.spec.org/jvm98.
    • (1998) JVM98 Version 1.04
  • 20
    • 0012525243 scopus 로고    scopus 로고
    • Benchmark health considered harmful
    • C. Zilles. Benchmark health considered harmful. In Computer Arch. News, 2001.
    • (2001) Computer Arch. News
    • Zilles, C.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.