Identifying DEF/USE Information of Statements that Construct and Traverse Dynamic Recursive Data Structures
暂无分享,去创建一个
[1] Piet Hut,et al. A hierarchical O(N log N) force-calculation algorithm , 1986, Nature.
[2] Andrew A. Chien,et al. Analysis of Dynamic Structures for Efficient Parallel Execution , 1993, LCPC.
[3] Alain Deutsch,et al. Interprocedural may-alias analysis for pointers: beyond k-limiting , 1994, PLDI '94.
[4] Jenq Kuen Lee,et al. Data distribution analysis and optimization for Pointer-based distributed programs , 1997, Proceedings of the 1997 International Conference on Parallel Processing (Cat. No.97TB100162).
[5] Ilya Gertner,et al. Non-intrusive and interactive profiling in parasight , 1988, PPoPP 1988.
[6] James R. Larus,et al. Detecting conflicts between structure accesses , 1988, PLDI '88.
[7] Laurie J. Hendren,et al. Context-sensitive interprocedural points-to analysis in the presence of function pointers , 1994, PLDI '94.
[8] Alexandru Nicolau,et al. Parallelizing Programs with Recursive Data Structures , 1989, IEEE Trans. Parallel Distributed Syst..
[9] Monica S. Lam,et al. Efficient context-sensitive pointer analysis for C programs , 1995, PLDI '95.
[10] Barbara G. Ryder,et al. Interprocedural Side Effect Analysis With Pointer Aliasing , 1993, PLDI.
[11] N. Madsen. Divergence preserving discrete surface integral methods for Maxwell's curl equations using non-orthogonal unstructured grids , 1995 .
[12] M. Burke,et al. Eecient Flow-sensitive Interprocedural Computation of Pointer-induced Aliases and Side Eeects , 1993 .
[13] Dennis de Champeaux,et al. Extending the statechart formalism: event scheduling & disposition , 1995, OOPSLA.
[14] Barbara G. Ryder,et al. Interprocedural modification side effect analysis with pointer aliasing , 1993, PLDI '93.
[15] Barbara G. Ryder,et al. A safe approximate algorithm for interprocedural aliasing , 1992, PLDI '92.
[16] Reinhard Wilhelm,et al. Solving shape-analysis problems in languages with destructive updating , 1998, TOPL.
[17] Jong-Deok Choi,et al. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects , 1993, POPL '93.
[18] Mark N. Wegman,et al. Efficiently computing static single assignment form and the control dependence graph , 1991, TOPL.
[19] Laurie J. Hendren,et al. Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C , 1996, POPL '96.
[20] Martin C. Rinard,et al. Commutativity analysis: a new analysis framework for parallelizing compilers , 1996, PLDI '96.