Detecting parallelism in C programs with recursive data structures-Reference-Cited by-同舟云学术

Detecting parallelism in C programs with recursive data structures

Published:1998 Issue: Volume: Page:159-173
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Ghiya Rakesh,Hendren Laurie J.,Zhu Yingchun

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0026429

Reference15 articles.

1. Maryam Emami, Rakesh Ghiya, and Laurie J. Hendren. Context-sensitive interprocedural points-to analysis in the presence of function pointers. In Proceedings of the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation, pages 242–256, Orlando, Florida, June 1994.

2. Rakesh Ghiya and Laurie J. Hendren. Connection Analysis: A practical interprocedural heap analysis for C. International Journal of Parallel Programming, 24(6), pages 547–578, 1996.

3. Rakesh Ghiya and Laurie J. Hendren. Is it a tree, a DAG, or a cyclic graph? a shape analysis for heap-directed pointers in C. In Conference Record of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 1–15, St. Petersburg, Florida, January 1996.

4. Rakesh Ghiya and Laurie J. Hendren.Putting Pointer Analysis to Work. In Conference Record of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, California, January 1998.

5. Rakesh Ghiya. Putting Pointer Analysis to Work. PhD Thesis, School of Computer Science, McGill University, Montreal, Canada. February 1998. Expected.

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. TreeFuser: a framework for analyzing and fusing general recursive tree traversals;Proceedings of the ACM on Programming Languages;2017-10-12

2. Precise shape analysis using field sensitivity;Innovations in Systems and Software Engineering;2013-04-03

3. Automatic Parallelization with Separation Logic;Programming Languages and Systems;2009

4. A Compile/Run-time Environment for the Automatic Transformation of Linked List Data Structures;International Journal of Parallel Programming;2008-09-24

5. Identification of Heap–Carried Data Dependence Via Explicit Store Heap Models;Languages and Compilers for Parallel Computing;2008