SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

The Journal of Supercomputing

Volumn 8, Issue 3, 1994, Pages 233-262

Effectively exploiting parallelism in data flow analysis

(2) Lee, Yong Fong a Ryder, Barbara G b

a IBM (United States)

b RUTGERS UNIVERSITY (United States)

Author keywords

Data flow analysis; parallel algorithms; parallel data flow analysis

Indexed keywords

DATA COMMUNICATION SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; FORTRAN (PROGRAMMING LANGUAGE); PARALLEL ALGORITHMS; PARALLEL PROCESSING SYSTEMS;

DISTRIBUTED MEMORY MACHINE COMMUNICATIONS; NETLIB LIBRARIES; PARALLEL DATA FLOW ANALYSIS; PERFECT BENCHMARKS LIBRARIES;

DATA REDUCTION;

EID: 0028547925 PISSN: 09208542 EISSN: 15730484 Source Type: Journal
DOI: 10.1007/BF01204730 Document Type: Article

Times cited : (5)

References (65)

1
- 0004072686
- Addison-Wesley, Reading, Mass.
- (1986) Compilers: Principles, Techniques, and Tools
- Aho, A.V.¹ Sethi, R.² Ullman, J.D.³

2
- 0016928266
- A program data flow analysis procedure
- (1976) CACM , vol.19 , Issue.3 , pp. 137-147
- Allen, F.E.¹ Cocke, J.²

3
- 0040074679
- An overview of the PTRAN analysis system for multiprocessing
- (1988) J. Parallel and Distr. Comp. , vol.5 , pp. 617-640
- Allen, F.¹ Burke, M.² Charles, P.³ Cytron, R.⁴ Ferrante, J.⁵

4
- 84934351157
- Anderson, J., and Lam, M.S. 1993. Global optimization for parallelism and locality. In Proc., SIGPLAN '93 Conf. on Programming Language Design and Implementation, pp. 112–125.

5
- 0004270780
- Kluwer Academic, Boston
- (1988) Dependence Analysis for Supercomputing
- Banerjee, U.¹

6
- 84934351151
- Banning, J. 1979. An efficient way to find the side effects of procedural calls and the aliases of variables. In Conf. Record of the 6th Annual ACM Symp. on Principles of Programming Languages, pp. 29–41.

7
- 0018018382
- A practical interprocedural data flow analysis algorithm
- (1978) CACM , vol.21 , Issue.9 , pp. 724-736
- Barth, J.M.¹

8
- 0025461033
- An interval-based approach to exhaustive and incremental interprocedural data-flow analysis
- (1990) ACM Trans. Programming Languages and Systems , vol.12 , Issue.3 , pp. 341-395
- Burke, M.¹

9
- 84934351152
- Burke, M., and Cytron, R. 1986. Interprocedural dependence analysis and parallelization. In Proc., ACM SIGPLAN '86 Symp. on Compiler Construction (Palo Alto, Calif., June), pp. 162–175.

10
- 0027632052
- Interprocedural optimization: Eliminating unnecessary recompilation
- (1993) ACM Trans. Programming Languages and Systems , vol.15 , Issue.3 , pp. 367-399
- Burke, M.¹ Torczon, L.²

11
- 84934351153
- Callahan, D. 1988. The program summary graph and flow-sensitive interprocedural data flow analysis. In Proc., SIGPLAN '88 Conf. on Programming Language Design and Implementation, pp. 47–56.

12
- 0001537417
- Compiling programs for distributed memory multiprocessors
- (1988) The J. Super-computing , vol.2 , Issue.2 , pp. 151-170
- Callahan, D.¹ Kennedy, K.²

13
- 84964115098
- ParaScope: A parallel programming environment
- (1988) Internat. J. Supercomputing Applications, 2 , vol.4 , pp. 84-99
- Callahan, D.¹ Cooper, K.² Hood, R.³ Kennedy, K.⁴ Torczon, L.⁵

14
- 84934351170
- Chow, J.-H., and Harrison III, W.L. 1992. Compile-time analysis of parallel programs that share memory. In Conf. Record of the 19th Annual ACM Symp. on Principles of Programming Languages, pp. 130–141.

15
- 0346295615
- Complexity of interprocedural side effect analysis
- Dept. of Comp. Sci., Rice Univ., Houston, Tex
- (1987) Tech. rept. TR87-61
- Cooper, K.¹ Kennedy, K.²

16
- 84934351169
- Cooper, K., and Kennedy, K. 1988. Interprocedural side-effect analysis in linear time. In Proc., SIGPLAN '88 Conf. on Programming Language Design and Implementation, pp. 57–66.

17
- 0024866114
- Fast interprocedural alias analysis
- ACM Press, Austin, Tex.
- (1989) Conf. Record of the 16th Annual ACM Symp. on Principles of Programming Languages , pp. 49-59
- Cooper, K.¹ Kennedy, K.²

18
- 0022793229
- The impact of interprocedural anslysis and optimization in the Rⁿ programming environment
- (1986) ACM Trans. Programming Languages and Systems , vol.8 , Issue.4 , pp. 491-523
- Cooper, K.¹ Kennedy, K.² Torczon, L.³

19
- 84934351168
- Cybenko, G., Kipp, L., Pointer, L., and Kuck, D. 1990. Supercomputer performance evaluation and the Perfect Benchmarks. In Proc., 1990 Internat. Conf. on Supercomputing, pp. 254–266.

20
- 0023349165
- Distribution of mathematical software via electronic mail
- (1987) CACM , vol.30 , pp. 403-407
- Dongarra, J.¹ Grosse, E.²

21
- 0024091830
- An applicable family of data flow testing criteria
- (1988) IEEE Trans. Software Eng. , vol.14 , Issue.10 , pp. 1483-1498
- Frankl, P.¹ Weyuker, E.²

22
- 84934351167
- Goradia, T. 1993. Dynamic impact analysis: A cost effective technique to enforce error propagation. In Proc., 1993 Internat. Symp. on Software Testing and Analysis, pp. 171–181.

23
- 0016883652
- A fast and usually linear algorithm for global flow analysis
- (1976) JACM , vol.23 , Issue.1 , pp. 172-202
- Graham, S.¹ Wegman, M.²

24
- 0026279195
- Detecting redundant accesses to array data
- (1991) Proc., Supercomputing , vol.91 , pp. 854-865
- Granston, E.¹ Veidenbaum, A.²

25
- 0024698917
- Parallel compilation for a parallel machine
- Portland, Ore., ACM Press
- (1989) Proc., SIGPLAN '89 Conf. on Programming Language Design and Implementation , pp. 91-100
- Gross, T.¹ Zobel, A.² Zolg, M.³

26
- 84934351165
- Gupta, R., Pollock, L., and Soffa, M.L. 1990. Parallelizing data flow analysis. In Proc., Workshop on Parallel Compilation (Kingston, Ontario, May).

27
- 84934351166
- Harrold, M.J., and Soffa, M.L. 1989. Interprocedural data flow testing. In Proc., 3rd Testing, Analysis, and Verification Symp., pp. 158–167.

28
- 84934351163
- Harrold, M.J., and Soffa, M.L. 1990. Computation of interprocedural definition and use dependencies. In Proc., 7990 Internat. Conf. on Computer Languages, pp. 297–306.

29
- 0026123816
- Selecting and using data for integration testing
- (1991) IEEE Software , vol.8 , Issue.2 , pp. 58-65
- Harrold, M.J.¹ Soffa, M.L.²

30
- 0003493157
- Elsevier North-Holland, Amsterdam
- (1977) Flow Analysis of Computer Programs
- Hecht, M.S.¹

31
- 0025403616
- On the use of diagnostic dependence-analysis tools in parallel programming: Experiences in using PTOOL
- (1990) The J. Supercomputing , vol.4 , Issue.1 , pp. 83-96
- Henderson, L.A.¹ Hiromoto, R.E.² Lubeck, O.M.³ Simmons, M.L.⁴

32
- 0026306973
- Compiler optimizations for Fortran D on MIMD distributed-memory machines
- (1991) Proc., Supercomputing , vol.91 , pp. 86-100
- Hiranandani, S.¹ Kennedy, K.² Tseng, C.-W.³

33
- 0024700474
- Integrating non-interfering versions of programs
- (1989) ACM Trans. Programming Languages and Systems , vol.11 , Issue.3 , pp. 345-387
- Horwitz, S.¹ Prins, J.² Reps, T.³

34
- 0025228221
- Interprocedural slicing using dependence graphs
- (1990) ACM Trans. Programming Languages and Systems , vol.12 , pp. 1
- Horwitz, S.¹ Reps, T.² Binkley, D.³

35
- 84934351164
- Kramer, R., Gupta, R., and Soffa, M.L. 1991. The combining DAG: A technique for parallel data flow analysis. Tech. rept. 91-8, Univ. Pittsburgh, Penn.

36
- 84934351161
- Landi, W., Ryder, B.G., and Zhang, S. 1993. Interprocedural modification side effect analysis with pointer aliasing. In Proc., SIGPLAN '93 Conf. on Programming Language Design and Implementation, pp. 56–67.

37
- 84934402319
- Performing data flow analysis in parallel
- Dept. of Comp. Sci., Rutgers Univ., New Brunswick, N.J.
- (1992) Ph.D. thesis
- Lee, Y.-F.¹

38
- 84934351162
- Lee, Y.-F, and Ryder, B.G. 1992. Parallel hybrid data flow algorithms: A case study. In Conf. Record of the 5th Workshop on Languages and Compilers for Parallel Computing, Yale Univ., pp. 183–190.

39
- 0026237789
- Experiences with a parallel algorithm for data flow analysis
- (1991) The J. Supercomputing , vol.5 , pp. 163-188
- Lee, Y.-F.¹ Marlowe, T.J.² Ryder, B.G.³

40
- 84934351211
- Lee, Y.-F., Ryder, B.G., and Fiuczynski, M.E. 1994. Region analysis: A parallel elimination method for data flow analysis. In Proc., IEEE 1994 Conf. on Comp. Languages (Toulouse, France, May).

41
- 84934351220
- Loeliger, J., Metzger, R., Seligman, M., and Stroud, S. 1991. Pointer target tracking—An empirical study. In Proc. Supercomputing '91, pp. 14–22.

42
- 0025227563
- An efficient hybrid algorithm for incremental data flow analysis
- ACM Press, San Francisco
- (1990) Conf. Record of the 17th Annual ACM Symp. on Principles of Programming Languages , pp. 184-196
- Marlowe, T.J.¹ Ryder, B.G.²

43
- 0025548384
- Properties of data flow frameworks: A unified model
- (1991) Acta Informatica , vol.28 , Issue.2 , pp. 121-164
- Marlowe, T.J.¹ Ryder, B.G.²

44
- 84934351222
- Midkiff, S.P., and Padua, D.A. 1990. Issues in the optimization of parallel programs. In Proc., 1990 Internat. Conf. on Parallel Processing, vol. 2, Penn. State Univ. Press, pp. 105–113.

45
- 84934351218
- Ostrand, T.J. 1990. Data-flow testing with pointers and function calls. In Proc., Pacific Northwest Software Quality Conf. (Oct.).

46
- 84934351219
- Ostrand, T.J., and Weyuker, E. 1991. Data flow based test adequacy analysis for languages with pointers. In Proc., 1991 Symp. on Software Testing, Analysis and Verification (TAV4), (Victoria, B.C., Canada, Oct.).

47
- 84934351233
- Ottenstein, K.J., and Ottenstein, L.M. 1984. The program dependence graph in a software development environment. In Proc. ACM SIGSOFT/SIGPLAN Software Eng. Symp. on Practical Software Development Environments, pp. 177–184.

48
- 0022874874
- Advanced compiler optimizations for supercomputers
- (1986) CACM , vol.29 , Issue.12 , pp. 1184-1201
- Padua, D.¹ Wolfe, M.²

49
- 0028436630
- Interprocedureal def-use associations for C systems with single level pointers
- (1994) IEEE Trans. Software Eng. , vol.20 , Issue.5 , pp. 385-403
- Pande, H.D.¹ Landi, W.² Ryder, B.G.³

50
- 0004217491
- Kluwer Academic, Boston
- (1998) Parallel Programming and Compilers
- Polychronopoulos, C.D.¹

51
- 0024874341
- Paraphrase-2: An environment for parallelizing, partitioning, synchronizing, and scheduling programs on multiprocessors
- (1989) Proc., 1989 Internat. Conf. on Parallel Processing , vol.2 , pp. 39-48
- Polychronopoulos, C.D.¹ Girkar, M.² Haghighat, M.R.³ Lee, C.L.⁴ Leung, B.⁵ Schouten, D.⁶

52
- 0022043004
- Selecting software test data using data flow information
- (1985) IEEE Trans. Software Eng. , vol.11 SE , Issue.4 , pp. 367-375
- Rapps, S.¹ Weyuker, E.²

53
- 0003837658
- Springer-Verlag, New York
- (1989) The Symthesizer Generator: A System for Constructing Language-Based Editors
- Reps, T.¹ Teitelbaum, T.²

54
- 84934351232
- Ryder, B.G. 1989. ISMM: Incremental software maintenance manager. In Proc., IEEE Comp. Soc. Conf. on Software Maintenance, pp. 142–164.

55
- 0022787552
- Elimination algorithms for data flow analysis
- (1986) ACM Computing Surveys , vol.18 , Issue.3 , pp. 277-316
- Ryder, B.G.¹ Paull, M.C.²

56
- 0025385671
- Profiling an incremental data flow analysis algorithm
- (1990) IEEE Trans. Software Eng. , vol.16 , Issue.2 , pp. 129-140
- Ryder, B.G.¹ Landi, W.² Pande, H.³

57
- 84934351231
- Santhanam, V., and Odnert, D. 1990. Register allocation across procedure and module boundaries. In Proc., SIGPLAN '90 Conf. on Programming Languages Design and Implementation, pp. 28–39.

58
- 84934351230
- Srinivasan, H., Hook, J., and Wolfe, M. 1993. SSA for explicitly parallel programs. In Conf. Record of the 20th Annual ACM Symp. on Principles of Programming Languages, pp. 260–272.

59
- 84934351235
- Venkatesh, G.A. 1991. The semantic approach to program slicing. In Proc., SIGPLAN '91 Conf. on Programming Languages Design and Implementation, pp. 107–119.

60
- 0021457061
- Program slicing
- (1984) IEEE Trans. Software Eng. , vol.10 SE , Issue.4 , pp. 352-357
- Weiser, M.¹

61
- 0004062640
- MIT Press, Cambridge, Mass.
- (1989) Optimizing Supercompilers for Supercomputers
- Wolfe, M.¹

62
- 0026890189
- A program integration algorithm that accommodates semantics preserving transformations
- (1992) ACM Trans. Software Engineering , vol.1 , Issue.3 , pp. 310-354
- Yang, W.¹ Horwitz, S.² Reps, T.³

63
- 84976748147
- Incremental data flow analysis in a structured program editor
- ACM Press, Montreal
- (1984) Proc., ACM SIGPLAN '84 Symp. on Compiler Construction , pp. 132-143
- Zadeck, F.K.¹

64
- 45549115356
- SUPERB: A tool for semi-automatic MIMD/SIMD parallelization
- (1988) Parallel Computing , vol.6 , Issue.1 , pp. 1-18
- Zima, H.P.¹ Bast, H.-J.² Gerndt, M.³

65
- 84934351242
- Zobel, A. 1990. Parallel interval analysis of data equations. In Proc., 1990 Internat. Conf. on Parallel Processing, vol. 2, Penn. State Univ. Press, pp. 9–16.

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