Syntactic and Semantic Soundness of Structural Dataflow Analysis

2019 ◽  
pp. 96-117 ◽  
Author(s):  
Patrick Cousot
Keyword(s):  
Dataflow Analysis

Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++

2021 ◽  
Author(s):  
Philipp Dominik Schubert ◽  
Richard Leer ◽  
Ben Hermann ◽  
Eric Bodden
Keyword(s):  
Analysis Framework ◽  
Dataflow Analysis

TOWARD AUTOMATIC DISTRIBUTION

1994 ◽  
Vol 04 (03) ◽  
pp. 233-244 ◽  
Author(s):  
PAUL FEAUTRIER
Keyword(s):  
Distributed Memory ◽  
Gaussian Elimination ◽  
Dataflow Analysis ◽  
Elementary Calculation ◽  
Virtual Processor ◽  
Source Program

This paper considers the problem of distributing data and code among the processors of a distributed memory supercomputer. Provided that the source program is amenable to detailed dataflow analysis, one may determine a placement function by an incremental analogue of Gaussian elimination. Such a function completely characterizes the distribution by giving the identity of the virtual processor on which each elementary calculation is done. One has then to “realize” the virtual processors on the PE. The resulting structure satisfies the “owner computes” rule and is reminiscent of two-level distribution schemes, like HPF’s [Formula: see text] and [Formula: see text] directives, or the CM-2 virtual processor system.

scholarly journals Dataflow analysis for concurrent programs using datarace detection

2008 ◽  
Vol 43 (6) ◽  
pp. 316-326 ◽  
Author(s):  
Ravi Chugh ◽  
Jan W. Voung ◽  
Ranjit Jhala ◽  
Sorin Lerner
Keyword(s):  
Concurrent Programs ◽  
Dataflow Analysis
Sign in / Sign up

Export Citation Format

Share Document