The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Interprocedural slicing using dependence graphs
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Transactions on Software Engineering
The use of program dependence graphs in software engineering
ICSE '92 Proceedings of the 14th international conference on Software engineering
Efficient construction of program dependence graphs
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Incremental program testing using program dependence graphs
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Task dependence nets for concurrent systems with Ada 95 and its applications
Proceedings of the conference on TRI-Ada '97
Static slicing of threaded programs
Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
A conservative data flow algorithm for detecting all pairs of statements that may happen in parallel
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
System-dependence-graph-based slicing of programs with arbitrary interprocedural control flow
Proceedings of the 21st international conference on Software engineering
An efficient algorithm for computing MHP information for concurrent Java programs
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Static slicing in Unix process environment
Software—Practice & Experience
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Slicing concurrent java programs
ACM SIGPLAN Notices
Empirical Studies of Control Dependence Graph Size forC Programs
Empirical Software Engineering
Static Dependency Analysis for Concurrent Ada 95 Programs
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
An Approach to Analyzing Dependency of Concurrent Programs
APAQS '00 Proceedings of the The First Asia-Pacific Conference on Quality Software (APAQS'00)
Multithreaded Dependence Graphs for Concurrent Java Program
PDSE '99 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems
SS '01 Proceedings of the 34th Annual Simulation Symposium (SS01)
ACM SIGPLAN Notices
A brief survey of program slicing
ACM SIGSOFT Software Engineering Notes
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Secure slices of insecure programs
Proceedings of the 2008 ACM symposium on Information, computer and communications security
Computing dynamic slices of concurrent object-oriented programs
Information and Software Technology
Fault injection approach based on dependence analysis
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
Contribution-based call stack abstraction for call string based pointer analysis
Information and Software Technology
A practice-driven systematic review of dependency analysis solutions
Empirical Software Engineering
Improved program dependence graph and algorithm for static slicing concurrent programs
APPT'05 Proceedings of the 6th international conference on Advanced Parallel Processing Technologies
Fault injection approach based on architectural dependencies
Architecting Dependable Systems III
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
A data dependence test based on the projection of paths over shape graphs
Journal of Parallel and Distributed Computing
Hi-index | 0.00 |
Program dependence analysis is an analysis technique to identify and determine various program dependencies in source codes, which has been widely used in program understanding, debugging, testing, reverse engineering, and maintenance. However, there are still many difficulties to be solved when carrying out dependence analysis for concurrent programs because the execution of statements is unpredictable. This survey describes methods and research directions for dependence analysis of concurrent programs, especially about how to obtain the dependencies between concurrently executed statements, the factors leading to intransitivity among dependencies, and how to deal with the intransitivity problem. By careful comparisons, users can select a proper algorithm for their requirements.